Frege is a pure functional programming language for the JVM in the spirit of Haskell.