The Pizza language is an extension to Java with three new features:
- Generics (aka Parametric polymorphism)
- Function pointers (aka First-class functions)
- Class cases and pattern matching (aka Algebraic types)
Furthermore you can use the Pizza compiler embedded into other applications.
News
Pizza now supports Java 1.4 assert, Java 1.2 strictfp and can compile
against Java 1.4 class files. These features are available since release 1.1.
Documentation
The documentation is a bit outdated right now. But you might find what you want to know.
Download
Here you will find all releases of the Pizza compiler project.