The Shen Education Channel
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.
Fast Help
Look at Shen in 15 minutes for a quick
learning guide and then reference the OS Shen Manual in the side bar. Go to our
newsgroup if you get stuck.
Books
The Book of Shen gives the complete introduction to the language. You can also read this text
online.
If your logic needs a brush-up, get
Logic, Proof and Computation
to learn the logical theory behind Shen and how sequent calculus works.
The Standard Library
The Standard Library is now documented online and can be read
here.
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
Presentations
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.
Shendoc
The Shendoc webpage is useful as a language standard for those porting Shen.
It is a developer's guide rather than a resource for learning Shen.
Shen Online
There is an old interactive
Javascript page of the Shen REPL.
OS Wiki
There is an OS wiki. Contact Bruno Deferrari through the News Group if you want to contribute.
|
