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