Comment on What Dynamic Typing Is ForparentComments−pjc5010moHindley - Milner dates from the 70s, but the only language to fully embrace it is ML.−taolson10moWhat about Miranda, Haskell, OCaml and F#?−dwattttt10moAnd Rust: https://rustc-dev-guide.rust-lang.org/type-inference.html
Comments
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