4 ms·
Definitely not, but the original commenter was looking for any purely functional programming language, not necessarily one with dependent types. I think we are
by vimslayer 8y ago
Definitely not, but the original commenter was looking for any purely functional programming language, not necessarily one with dependent types. I think we are years away from having an easily comprehensible and usable dependent type system, if it's even possible to have one.