Pizza

An extension to the Java programming language supporting generics, first-class functions, and algebraic data types with pattern-matching. The implementation is also embeddable.