3 ms·
Rust, ML, Coq and Haskell have type inference and if those four are known for anything it's reliability and bug-free code.
by nonsince 9y ago
Rust, ML, Coq and Haskell have type inference and if those four are known for anything it's reliability and bug-free code.