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

2 pointsby selestify11 anni fa5 comments

I know Haskell and Rust have a reputation for this, any others?

3 comments

libx11 anni fa

You should check ML programming languages family, like Ocaml.

Agda. It halts.

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...

selestify11 anni fa

Right, but I'm curious to know among statically typed languages, which ones have more checks than others.

kjs311 anni fa

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.