[xigoi]

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