
Letting Go of
Control
Didier Verna
What you don’t know about GC
The recursive definition of
differentiation made no provision for
erasure of abandoned list structure.
No solution was apparent at the time,
but the idea of complicating the
elegant definition of differentiation with
explicit erasure was unattractive.
– John McCarthy (1978)
4/8