Re:Algebraic Effects – You Can Touch This (2019)
by Corazoor on Wednesday December 14, 2022 @05:23PM
(#33991522)
Yeah thats fair I guess, it IS hard to see whats so special about it.
Imho, it's the same deal as with monads: Outside of pure functional languages with a strong type system there is not much appeal. But for e.g. a Haskell programmer its like the next coming of christ...
But I think it could be very useful if combined with the equivalent of javas checked exceptions, even in other languages.
Imho, it's the same deal as with monads: Outside of pure functional languages with a strong type system there is not much appeal. But for e.g. a Haskell programmer its like the next coming of christ...
But I think it could be very useful if combined with the equivalent of javas checked exceptions, even in other languages.
Something like "fun readFile(Name: Path):String performs FS.open, FS.read, FS.close throws FileNotFound, FileRead, ..."
A bit excessive, but potentially very useful for all kinds of error checking.