write once, run anywhere



Learn Shen







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 compiler-compiler.

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 includes sources and is absolutely free for commercial use. It 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.

Logic, Proof and Computation - Second Edition Cover Image 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.





There is now a drive to place Shen under BSD; you can help support for this here.

You do not have to pay any money at this stage. Pledges of at least 1000 receive a link to a site of your choice from this page for 5 years if the appeal is successful. Any sponsor sponsoring the full amount receives this link for life .

We have collected just over 2000 towards the goal of 8500. Help us to the next stage of our project by contributing. To see more of what we are planning, see here.

Pledged on 9th November 2014: 2192.52 - for the current total go to this page