Hacker News new | ask | show | jobs
by kaba0 837 days ago
Besides preventing data races (but not other kinds of race conditions), it is not at all unique. Haskell, OCaml, Scala, F# all have similarly strong type systems.