Minor correction - Scala does not have the Hindley-Milner type inference method and for technical reasons it would be very hard to have something similar. Languages that do have Hindley-Milner are those from the ML family, like Ocaml, Haskell and F#.

That said, the linked article is pretty cool.