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: Partial Evaluation with Holes for Distributed Computation

Apertures are a coordination mechanism for distributed computation. Programs with explicit holes can be partially evaluated, optimized, and resumed when the missing pieces arrive. No cryptographic guarantees. Honest about what leaks.