stack inspection

Why Object-Oriented Languages Need Tail Calls

Lambda the Ultimate - Programming Languages Weblog  Thu, 12/03/2009 - 12:03

The Fortress blog has a recent post, Why Object-Oriented Languages Need Tail Calls, where Guy Steele argues for the necessity of proper tail call implementations without rehashing two of the classic arguments: state machines and the continuation passing style.

It starts by mentioning William Cook's On Understanding Data Abstraction, Revisited: