Фреге - это Хаскель для жава машины.
Frege is a non-strict, pure functional programming language in the spirit of Haskell.
The main difference to Haskell is that Frege programs are compiled to Java and run in a JVM. Existing Java Classes and Methods can be used seamlessly from Frege.
http://code.google.com/p/frege/