●area

Programming Languages

How notation shapes thought; small languages, type systems with manners, and the unreasonable effectiveness of writing your own.

---

A perpetual side-quest. The tools we use to talk to computers shape what we end up saying — and most mainstream languages have absorbed too many historical accidents to be honest collaborators.

I gravitate to things that take notation seriously: small DSLs, ML-family languages, structured editors, the long shadow of Lisp.