А нужна ли в прикладных языках программирования

Полнота по тьюрингу?

Не "в самом общем случае", а "для большинства практических применений"?

PS: Немножко перефразируя - язык в котором любая (или почти любая - исключения можно трактовать как unsafe) функция должна быть гарантировано завершающейся (и снабжаться доказательством этого если компилятор сам не может).

Я просто задумался - много ли в реальных задачах кода который не вписывается в это ограничение?