[throwthrow5643]

>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]

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