Hacker News new | ask | show | jobs
by _flux 387 days ago
Right, I was referring totype systems in relatively popular real-world programming languages of today, i.e. Haskell, OCaml, Rust, Haskell :).