Home | Learn Shen | OS Kernel Download


write once, run anywhere

Learn Shen
Community Wiki
OS Kernel
OS Library
Shen Professional


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 second-order 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 non-communicating parallel processes.

September 2015

Shen Professional is launched - the project to build a commercial closed-source 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 compiler-compiler.
  • 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 cloud-based 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 far-reaching 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, truth-tables, 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