once, run anywhere
a portable functional programming language that offers
of the most powerful systems for typing in
over many languages,
integrated fully functional Prolog,
an inbuilt compiler-compiler.
Shen is Chinese for 'spirit' and our motto
reflects our desire to liberate our work to live under
many platforms. Shen is under BSD and currently runs
under CLisp, SBCL, Clojure, Scheme, Ruby, Python, the
to learn Shen, browse the Learn Shen section.
|New Shen release!
18.1 sparks a big improvement in
typechecking performance. Get it from the
out!: Logic, Proof and
Computation is a new text written to
introduce programmers to combined topics in
computational, mathematical and philosophical
logic. The book is computer supported by programs
To read more or to order click here.
Book of Shen is the complete guide
to programming in Shen. The second edition
to The Book of Shen is
now available here.