What is Frege?
A non-strict, pure functional programming language in the spirit of Haskell Strong static type system with type inference
Higher rank types are supported though type annotations are required for that 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

Hello World