Shen: A Lisp with Macros, Prolog, and an Optional Type System
Strange Loop Conference · Talk · 40 min · 2014 · YouTube title: "Shen: A Sufficiently Advanced Lisp" by Aditya Siram
Why it's here
It is the standard recommended introduction to Shen, pointed to whenever Shen or its type system comes up.
What it covers
Aditya Siram introduces Shen, a small hosted Lisp with macros, a built-in Prolog and an optional type system. The talk demos a full web app moving between functional, logic and imperative styles, including turning JSON into a type with macros.