Wikipedia
Frege (programming language)
Frege is a non-strict, purely functional programming language for the Java virtual machine in the spirit of Haskell.
It is considered a Haskell dialect or simply "a" Haskell for the Java virtual machine.
Frege has 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 bytecode and run in a Java virtual machine. Existing Java classes and methods can be used seamlessly from Frege after their types have been properly declared.
The language was designed by Ingo Wechsung, who named it after the German mathematician, logician and philosopher Gottlob Frege.
(Unrelated to the Frege Program Prover).