2 ms·Hindley - Milner dates from the 70s, but the only language to fully embrace it is ML.by pjc50 1y agoHindley - Milner dates from the 70s, but the only language to fully embrace it is ML.taolson 1y agoWhat about Miranda, Haskell, OCaml and F#?dwattttt 1y agoAnd Rust: https://rustc-dev-guide.rust-lang.org/type-inference.html https://rustc-dev-guide.rust-lang.org/type-inference.html