Frege

A pure functional programming language for the JVM in the spirit of Haskell.