2 ms·
Of relatively mainstream languages, probably Haskell or ATS. Ada is rather far, but its type system appears to be nowhere near as useless as C's or even Java's.
by lucian1900 14y ago
Of relatively mainstream languages, probably Haskell or ATS. Ada is rather far, but its type system appears to be nowhere near as useless as C's or even Java's.