Skip to content
◈ALB Atlas

Unlambda Dead

Unlambda
KindProgramming language
Appeared1999
StatusDead
CreatorDavid Madore
FamilyEsoteric
Sourcewww.madore.org ↗

Combinatory logic as punishment — a functional language with no variables, named for what it removed; proof that subtraction is a design tool.

Created by David Madore

David Madore's Unlambda (1999) — pure lambda calculus with call/cc and nothing else — is functional programming stripped to an abstraction so complete it's unusable.\n\nIt is the esolang that asks whether minimalism is a feature or a punishment.

→ Read the full article on the ALB Wiki

Sources

  1. madore.org/~david/programs/unlambda/
  2. esolangs.org/wiki/Unlambda