5 ms·
>Haskell doesn't prevent endless recursion. (try e.g. `main = main`) Do you mean to say Haskell hasn't solved the halting problem yet?
by throwthrow5643 2y ago
>Haskell doesn't prevent endless recursion. (try e.g. `main = main`)
Do you mean to say Haskell hasn't solved the halting problem yet?
- xigoi 2y agoThere are languages that don’t permit non-terminating programs (at the cost of not being Turing-complete), such as Agda.