SML and OCaml also have global inference, and in fact Haskell initially got it from there. A lot of the "weirder" parts of Haskell are there because early on H

SML and OCaml also have global inference, and in fact Haskell initially got it from there. A lot of the "weirder" parts of Haskell are there because early on Haskell was pretty much "LazyML" and then it started growing into something different.