”Shen is a portable functional programming language that offers
- pattern matching,
- λ calculus consistency,
- optional lazy evaluation,
- static type checking,
- an integrated fully functional Prolog,
- and an inbuilt compiler-compiler.
Shen has one of the most powerful type systems within functional programming and runs under a reduced instruction set designed for portability. The word ‘Shen’ is Chinese for spirit and our motto reflects our desire to liberate our work to live under many platforms.”