frege


Frege Programming Language

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.)

This Google Code Site Is Now Obsolete

We moved source code repository, wiki and issue tracking to GitHub.

Because Google announced to discontinue its download service, we also moved the official download page.

So this site merely exists to satisfy old links. Please update your links, if you find time.

Project Information

Labels:
Java Functional JVM Compiler Language