Link Details

Scala, the statically typed functional and object oriented language that runs on the JVM, is getting a lot of attention in the blogosphere these days. What few people know is that Scala is a direct descendant of Standard ML (SML). SML is the current version of a unique functional language created in the 1970's: ML. ML was a language created by Robin Milner (of Hindley-Milner type inference fame) to implement an automatic theorem proving system.