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

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