Shen is a Lisp flavour with the type system. It is a functional programming language that comes with pattern matching, static type checking and optional lazy evaluation. It also provides a Prolog.
Shen is designed for portability.
Shen comes from Chinese and it means spirit.