>Haskell doesn't prevent endless recursion. (try e.g. `main = main`) Do you mean... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		throwthrow5643 on Sept 13, 2024 \| parent \| context \| favorite \| on: Why Haskell? >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 on Sept 13, 2024 [–]

There are languages that don’t permit non-terminating programs (at the cost of not being Turing-complete), such as Agda.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact