Shen: A Sufficiently Advanced Lisp
summary
Shen claims a full Lisp in under 5000 lines with a macro system, embedded Prolog and an optional type system the uploader calls more powerful than Haskell’s. The demo actually builds a web app with shared validators that run in both Shen->JavaScript and Shen->Ruby via a call-by-name bridge, shows a counter and parser generators, and implements verified types and an object iterator that converts JSON shapes into types. The demos run and porting needs ~45 primitives; JS/Ruby ports work but are slower than the original spcl.
AI-written summary · about
chapters (4)
related talks
37mStanding on the Shoulders of Giants
33mPixie - A Lightweight Lisp with 'Magical' Powers
38mLearn you some Lisp for Great Good
26mSlaying the Dragon
45mLanguage-Oriented Programming with Racket
56mMatz Keynote
39mIDE development with Ruby
52mLeo: A Programming Language for Formally Verified, ZK Applications