Algebraic Effects – You Can Touch This (2019)

Re:Algebraic Effects – You Can Touch This (2019) by vintermann on Wednesday December 14, 2022 @06:44AM (#33982264)

I know that, and I did read that article. I wasn't criticising algebraic effects, I suggested it may indeed have something on the mere "power" of constructs that can implement the same flow.

That said, the article didn't make me much wiser on what's the point. I could sort of see it if it came with guarantees in the type system, I guess.

[ Parent | on HN ]

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.

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.

[ Parent | on HN ]