Hacker News new | ask | show | jobs
by nyssos 701 days ago
Scala, OCaml, and Haskell all have very powerful type systems. OCaml and Haskell even have good ones.