4 ms·

But most of those don't have a real type system though? And definitely not a strict one.

• nyssos 2y ago
  Scala, OCaml, and Haskell all have very powerful type systems. OCaml and Haskell even have good ones.