An ethereal concept, a theoretical notion, which masquerades as a family of programming languages.

Established Lisps

  • Scheme is one of the oldest and most established Lisps, but with a maddening lack of standardization and perambulatory progress in this area.

My Lisp language design experiments

  • Plan was my first foray into designing a Lisp, long since deceased.
  • Lamedh was my second attempt at it, and I should write up the ideas I had for it more thoroughly.
  • Ado is an attempt to express the fundamentals of a typed lambda calculus in a Lisp-y way, much as Scheme is, at its core, an expression of the (applicative order) untyped lambda calculus.