3 ms·Scala, OCaml, and Haskell all have very powerful type systems. OCaml and Haskell even have good ones.by nyssos 2y agoScala, OCaml, and Haskell all have very powerful type systems. OCaml and Haskell even have good ones.