write
once, run anywhere
Home
Learn Shen
Videos
Community Wiki
Community
OS Kernel
OS Library
Shen Professional
News
April
2017
Type
secure graphics developed
March
2017
Shen
Professional 17 developed; work begins on the Ring; a
program to support the migration of Shen programs to
many platforms.
December
2016
Shen
Professional 13 runs under Linux and Windows.
November
2016
Shen
Professional acquires a standard plugin for utility
functions.
October
2016
Shen
Professional acquires FTP  3 million inferences per
second theorem prover.
August
2016
Shen
Professional 10 moves into the cloud and acquires
graphics.
June
2016
Shen
Professional includes provision for large scale file
handling.
May
2016
Shen
Professional includes a computably effective
axiomatic semantics P for generating formal
descriptions of Shen programs in secondorder logic.
April
2016
Shen
Professional supports SML 1.0. Shen Markup
Language generates HTML from type secure Shen.
March
2016
Shen
Professional supports full concurrency 
communicating parallel processes with local state.
February
2016
Shen
Professional supports noncommunicating parallel
processes.
September
2015
Shen
Professional is launched  the project to build a
commercial closedsource version of Shen.
February
2015
The
Shen kernel goes BSD.

Shen is
a portable functional programming language that offers
 pattern
matching,
 lambda
calculus consistency,
 macros
for defining domain specific languages,
 optional
lazy evaluation,
 static
type checking based on sequent calculus, one of
the most powerful systems for typing in
functional programming
 portability
over many languages,
 an
integrated fully functional Prolog,
 an
inbuilt compilercompiler.
 runs
under CLisp, SBCL, Clojure, Scheme, Ruby, Python,
the JVM, Haskell and Javascript
 has
a BSD kernel
The word
‘Shen’ is Chinese for 'spirit' and our motto
reflects our desire to liberate our work to live under
many platforms. We also host an interactive Javascript
page of the Shen REPL from this site  to use it click here.
Listen
to our video to get an idea of the potential of this
language.
To begin
to learn Shen, browse the Learn Shen
section. But you don't have to donate any more; if you
want to support us, you can plug in to receiving our
cloud based version of the language. Shen Professional is a cloudbased
high performance development of the OS Shen kernel
incorporating features for commercial deliverables.

Want
to learn Shen from the ground up? Shen has
emerged as one of the most portable and
farreaching integrations of two great
programming paradigms  functional and logic
programming. The third edition to The Book of
Shen gives the foundations of both those
disciplines, exploring both lambda calculus, type
theory, first  order and Horn clause logic in a
text which is rich in worked examples. In the
course of 400 pages, the text gives a complete
formal and informal exposition of Shen.
Order
from Amazon


Want to learn the logical
background to 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. Topics covered include formal
grammars, semantics of formal languages, sequent
systems, truthtables, propositional and first
order logic, identity, proof heuristics,
regimentation, set theory, databases, automated
deduction, proof by induction, Turing machines,
undecidability and a computer illustration of the
reasoning underpinning Godel's incompleteness
proof. LPC is designed as a multidisciplinary
reader for students in computing, philosophy and
mathematics.
Order
from Amazon

