Programming-Languages

Building Languages to Solve Problems

When a problem is complex enough, the right move is to build a language for that problem. SICP's most powerful idea.

Practical Foundations for Programming Languages

Rich Hickey: Language of the System

Notes

Engineer-philosophical talk about the nature of system and language design.

Types and Programming Languages

Apertures: A Language with Holes

When the problem is coordinating computation across parties who can't share data, the SICP move is to build a language for it. Apertures adds one primitive — holes — to a Lisp, and gets pausable, resumable evaluation for free.