Comment by pjc50 Comment by pjc50 11 hours ago 2 replies Copy Link View on Hacker News Hindley - Milner dates from the 70s, but the only language to fully embrace it is ML.
Copy Link taolson 9 hours ago Collapse Comment - What about Miranda, Haskell, OCaml and F#? Reply View | 1 reply Copy Link dwattttt 6 hours ago Parent Collapse Comment - And Rust: https://rustc-dev-guide.rust-lang.org/type-inference.html Reply View | 0 replies
Copy Link dwattttt 6 hours ago Parent Collapse Comment - And Rust: https://rustc-dev-guide.rust-lang.org/type-inference.html Reply View | 0 replies
What about Miranda, Haskell, OCaml and F#?