Shen is a next generation functional programming language built on a RISC Lisp called Kl. Shen is specifically designed for a small footprint and extreme portability, but nevertheless features a comprehensively typed functional programming language with a compiler-compiler and a Prolog engine. Shen was first proposed at the European Symposium of Lisp in 2009 and appeared in 2011. Shen transitioned to BSD in 2015.
The Shen guide is for people who already know functional programming and want to begin programming with Shen. We recommend you read the following.
Shen type theory is programmed in sequent calculus. If you have no experience in this notation we recommend
The official guide to Shen, The Book of Shen, second edition, gives a complete account of Shen from implementation to application. An errata page has been created for producing a third print - you can add to it by reporting any errata you find to support . A complete directory of all the programs used in TBoS is available.
1 Introducing Shen
7. Error Handling
8. Lazy Evaluation
9. Types and Type Checking
10. The Shen-YACC Compiler-compiler
11. Shen Prolog
12. Native Calls
13. System Functions