News for hackers. Stuff that matters.

A comment on Why Haskell?. Parent comment

Re:Why Haskell? by throwthrow5643 on Friday September 13, 2024 @04:51AM (#41529319)
>Haskell doesn't prevent endless recursion. (try e.g. `main = main`)

Do you mean to say Haskell hasn't solved the halting problem yet?

[ Parent | on HN ]
Re:Why Haskell? by xigoi on Friday September 13, 2024 @05:36AM (#41529566)
There are languages that don’t permit non-terminating programs (at the cost of not being Turing-complete), such as Agda.
[ Parent | on HN ]