3 ms·

Many perfectly reasonable subturing PLs exist. For example Gallina, the total functional language at the heart of Coq.