News for hackers. Stuff that matters.

A comment on Why Scala seems difficult but really isn’t. Parent comment

Re:Why Scala seems difficult but really isn’t by gaius on Wednesday June 22, 2011 @11:23AM (#2683494)
I was very surprised, having only started Scala recently, that it cannot infer types in function arguments. OCaml has no problems with this.
[ Parent | on HN ]
Re:Why Scala seems difficult but really isn’t by fogus on Wednesday June 22, 2011 @11:31AM (#2683546)
Scala doesn't have Hindley-Milner global type inference (of which OCaml has an extended version of) and instead uses a form of local type inference. Hindley-Milner doesn't work well (i.e. undecidable) in the face of overloading and inheritance.
[ Parent | on HN ]