Comment by pjc50 | Hacker News Reader

Top New Best Ask Show Jobs

Comment by pjc50 | Hacker News Reader

Parent Full thread

Hindley - Milner dates from the 70s, but the only language to fully embrace it is ML.

What about Miranda, Haskell, OCaml and F#?

And Rust: https://rustc-dev-guide.rust-lang.org/type-inference.html

Reply on news.ycombinator.com