Shen

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.

Shen can run on top of CLisp, SBCL, Clojure, Scheme, Ruby, Python, JVM and JavaScript.