write
once, run anywhere
Home
Learn Shen
Wiki
Community
Download
Library
Donate
Support
News

Home  Learn Shen  Download
Shen is
a portable functional programming language that offers
 pattern
matching,
 lambda
calculus consistency,
 macros,
 optional
lazy evaluation,
 static
type checking,
 an
integrated fully functional Prolog,
 and
an inbuilt compilercompiler.
Shen has
one of the most powerful type systems within functional
programming. Shen runs under a reduced instruction Lisp
and is 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. Shen currently runs under CLisp and SBCL,
Clojure, Scheme, Ruby, Python, the JVM and Javascript.
The
second edition to The Book of Shen is
now available here.

Just
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 in Shen.
Beginning
with a review of formal languages and their
syntax and semantics, Logic, Proof and
Computation conducts a computer assisted
course in formal reasoning and the relevance of
logic to mathematical proof, information
processing and philosophy.
To
read more or to order click here.

