On: The Ultimate Conditional Syntax

[ajb]

This is really cool

It reminds me a lot of the kind of flow you get in mathematics sometimes. I guess theorem prover languages may be keen to adopt it.

I'd be less keen in a language with side effects, unless the language has a way to restrict it to pure functions

[lou1306 → ajb]

Well, Standard ML was initially designed for a theorem prover, so you're definitely onto something here :)