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.

Some useful links:

How to install Frege standalone?
fregIDE: Frege Eclipse IDE
Frege NetBeans setup
Differences between Frege and Haskell
Frege Language Reference