The excuses to avoid writing principled software are many: - Types are a huge PITA compared to dynamic typing - Generics are a huge PITA compared to AnyRef - HK types are a huge PITA compared to OO interfaces - Monads are a huge PITA compared to statements/nulls/exceptionshttps://twitter.com/ngnghm/status/993514234368716800 …
I haven't tried to type effects with Scalaz 8 yet, but the point against Java checked exceptions is precisely that it does NOT compose well, and that for it to compose well would take something akin to row polymorphism for sets of allowed exceptions.
-
-
Any => Nothing composes very well. This is not an argument to use it. Scala libraries like Totalitarian and so forth can provide set-like composition of errors if it’s important.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
Read my blog!