Guide to the Navigation Bar from Top to Bottom
Shen in 15 minutes gives a quick introduction. The Shen Open Source Manual details the language in more
depth; these two links were early online resources for learning Shen. The Book of Shen, 5th edition is the latest and,
like all the editions, the most thorough and authoritative guide to Shen. The Book of Shen, 4th edition is available online.
The Shendoc webpage was the first guide written for Shen in 2011. It is useful as a language standard for those porting Shen.
Shendoc is a developer's guide rather than a resource for learning Shen. There is an OS wiki. Contact Bruno Deferrari through
the News Group if you want to contribute.
The Shen applications listed here are all part of the Shen Library which is find in the source
download for Shen (see Download in the top bar).
The Shen Library includes the Standard Library which is
used extensively in the other applications. These include THORN (Theorem prover based on HORN clause logic)
- a high-performance program for first-order logic based Prolog technology and the Logic Lab - a facility for constructing
type-secure implementations of arbitrary logics. This technology was used in the text Logic, Proof and Computation which teaches
sequent calculus amongst other things. The software for Logic, Proof and Computation was written using
Logic Lab technology. Programming the Logic Lab gives a thorough exposition of this technology.
The Logic Lab and THORN were used to build a system for the Program Verification of Shen programs.
In 2024, Shen/tk gave type-secure access to TCL/tk and a graphical IDE. Shen/tk presupposes Concurrent Shen.
Other Resources
Chief is the online newsgroup. You can also try ChatGPT
which has improved greatly between 2025-2026.
Articles
Coding a Lisp Interpreter in Shen by Mark Tarver
a practical case study of working with Shen to code a type secure Lisp interpreter.
Shen Tutorial: Sequent Calculus by Neal Alexander
a Prolog based study on Shen's interpretation of sequent calculus.
Kicking the Tyres of Shen Prolog by Chris Double
gives a pretty thorough examination of Shen Prolog.
Defining Types in Shen by Chris Double
an introduction on how to define types in Shen
Videos
Shen: a sufficiently advanced Lisp by Aditya Siram
Clever, Classless and Free by Hakan Raberg
Shen Trick Shots by Aditya Siram.
Programming in Shen: Sequent Calculus and Metaprogramming by Mark Tarver.
This last video is a good introduction to defining types in sequent calculus in Shen.
You can learn about Shen on the Shen Computer Science Education Channel on Youtube which opened in June 2022.
A repository for all the code in these video is kept here.
Shen Online
There is an old interactive Javascript page of the Shen REPL.
|
