Hacker News new | ask | show | jobs
by rzmmm 8 days ago
Ocaml is probably closest to that. The ML language family has roots in generic code with global type inference.