[taolson]

What about Miranda, Haskell, OCaml and F#?

[dwattttt]

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