3 ms·
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
by ajb 2y ago
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 2y agoWell, Standard ML was initially designed for a theorem prover, so you're definitely onto something here :)