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. Pizza now supports Java 1.4 assert, Java 1.2 strictfp and can compile against Java 1.4 class files. These fea