Comments:"Frege"
URL:http://code.google.com/p/frege/
What is Frege?
Frege is a non-strict, pure functional programming language in the spirit of Haskell. It enjoys a strong static type system with type inference. Higher rank types are supported, though type annotations are required for that.
Frege programs are compiled to Java and run in a JVM. Existing Java Classes and Methods can be used seamlessly from Frege.
The Frege programming language is named after and in honor of Gottlob Frege. (This is surprisingly hard for english speakers to pronounce, but you can use this translator page to get it right. Just click the audio symbol in the left (german) part.)
News
We moved source code repository, wiki and issue tracking to GitHub. The source code repository found here is regularly updated, however.
In addition, this page hosts the official download area.