Shen is a portable functional programming language that offers

• pattern matching
• λ calculus consistency
• macros
• optional lazy evaluation
• static type checking
• an integrated fully functional Prolog
• an inbuilt compiler-compiler

Shen has one of the most powerful type systems within functional programming. Shen runs under a reduced instruction Lisp and is intended for a wide variety of platforms. Hence our goal and our motto; 'write once, run anywhere'.

Shen includes sources and is absolutely free for commercial use. It currently runs under CLisp with SBCL, Scheme and Javascript to follow.