5 ms·

Ask HN: Which languages have the most compile-time checks?

• mindcrime 11y 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_programming_languages https://en.wikipedia.org/wiki/Category:Statically_typed_prog...
  • selestify 11y ago
    Right, but I'm curious to know among statically typed languages, which ones have more checks than others.
    • kjs3 11y 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.
• libx 11y ago
  You should check ML programming languages family, like Ocaml.
• elliotlai 11y ago
  Agda. It halts.