> the best parts of Standard ML Hindley-Milner type inference? I really miss having proper type inference in Scala. I'll admit, the "we will infer the types a

> the best parts of Standard ML Hindley-Milner type inference? I really miss having proper type inference in Scala. I'll admit, the "we will infer the types as whatever javac would have said they should be from left to right" is a lot more effective than one would think, but still feels rather primitive.