"a portable functional programming language that offers the advantages of pattern matching, l calculus consistency, macros, optional lazy evaluation and static type checking. Shen has the most powerful type system of any existing functional language, including ML and Haskell. Shen includes an integrated fully functional Prolog and an inbuilt compiler-compiler"

"There is only one language construct in π: the pattern"

Nice use of annotations.