ParentFull threadnyssos·Scala, OCaml, and Haskell all have very powerful type systems. OCaml and Haskell even have good ones.View on HN