2 ms·Try programming in a language with dependent types.by platz 13y agoTry programming in a language with dependent types.