succ=\n.\f.\x.f((nf)x)

The abstraction-optimization tradeoff
Tue, 13 Dec 2011 22:41:12 GMT

A great article, with interesting references, and as it is about something many people do not seem to understand, worth reading:

> The abstraction-optimization tradeoff