Ask HN: Which languages have the most compile-time checks? 2 points by selestify 10y ago ↗ HN I know Haskell and Rust have a reputation for this, any others?
[–] mindcrime 10y ago ↗ Ada would probably be put in a similar box with those.For some more possibilities, see:https://en.wikipedia.org/wiki/Category:Statically_typed_prog... [–] selestify 10y ago ↗ Right, but I'm curious to know among statically typed languages, which ones have more checks than others. [–] kjs3 10y ago ↗ Still probably Ada. Compared to other statically typed languages, Ada is a "big" language. Things like Modula-2 or ML simply have far fewer things to check.
[–] selestify 10y ago ↗ Right, but I'm curious to know among statically typed languages, which ones have more checks than others. [–] kjs3 10y ago ↗ Still probably Ada. Compared to other statically typed languages, Ada is a "big" language. Things like Modula-2 or ML simply have far fewer things to check.
[–] kjs3 10y ago ↗ Still probably Ada. Compared to other statically typed languages, Ada is a "big" language. Things like Modula-2 or ML simply have far fewer things to check.
5 comments
[ 4.4 ms ] story [ 23.6 ms ] threadFor some more possibilities, see:
https://en.wikipedia.org/wiki/Category:Statically_typed_prog...