News for hackers. Stuff that matters.

A comment on Why Haskell?. Parent comment

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 ]

There are no comments on this comment yet.