News for hackers. Stuff that matters.

A comment on Show HN: Koda, a typesafe functional toolkit for Python. Parent comment

Re:Show HN: Koda, a typesafe functional toolkit for Python by impoppy on Monday February 07, 2022 @02:14PM (#30249585)
Now this is an answer I was waiting for. Thank you for explaining the real benefits of sticking to koda style. I guess this would be obvious if I used statically typed languages since there is no try except clauses in most of them
[ Parent | on HN ]
Re:Show HN: Koda, a typesafe functional toolkit for Python by btown on Monday February 07, 2022 @02:39PM (#30249878)
I'll add that caveats do apply to these benefits. Many of them are outlined in https://fsharpforfunandprofit.com/posts/against-railway-orie... - which is a response to an excellent functional programming talk (see slides or video linked at https://fsharpforfunandprofit.com/rop/) that walks through why you'd want a Result-type thing to exist in the first place... and eases you into the larger world of monads!
[ Parent | on HN ]
Re:Show HN: Koda, a typesafe functional toolkit for Python by ReleaseCandidat on Monday February 07, 2022 @02:56PM (#30250141)
> and eases you into the larger world of monads

Yes, just begin reading at page 29

https://www.slideshare.net/ScottWlaschin/railway-oriented-pr...

[ Parent | on HN ]