Comment by oisdk

8 hours ago

It’s pretty annoying to comment “this thing was already present in CL 30 years ago”, then to have someone correct you (pointing out that this is a common misconception, and algebraic effects are not equivalent to conditions at all), and then to respond not to admit you’re wrong but instead to say “algebraic effects are bad anyway because you shouldn’t want one of the extra features they give you (nondeterminism)”.

By the way, nondeterminism is not the only difference between the two.

Standard usable feature. Features must work with everything else in the language.

I like programming language theory as much as anyone else, but there is a reason some language features exist only so that people can blog and think about them.