2 ms·

Thanks, dependent typed languages seem something to consider. Coq, Agda and Idris seem the most useful to me.