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 :
In this blog post we extend one of his examples in order to make a completely different point: object-oriented programming languages need tail calls correctly...
Capabilities for External Uniqueness
Philipp Haller and Martin Odersky have submitted Capabilities for External Uniqueness to OOPSLA'09. Unique object references have many important applications in object-oriented...
Functional Pearl: Type-safe pattern combinators
Functional Pearl: Type-safe pattern combinators, by Morten Rhiger: Macros still have not made their way into typed higher-order programming languages such as Haskell and Standard ML....
Pure imperative programming
Two intensively studied intermediate representations in compiler theory are Static Single Assignment form (SSA) and CPS translations, and Richard Kelsey's 1995 paper, A Correspondence Between...
Logitech V220 Cordless Optical Mouse for Notebooks
Built for comfort, the Logitech V220 Cordless Optical Mouse for Notebooks features an ergonomic design with soft rubber grips. A convenient mini-receiver snaps into the mouse for easy...
Samsung ML-2851ND Network-Ready Monochrome Laser...
Imagine style and power condensed. The Samsung ML-2851ND small office network monochrome laser printer combines a compact and stylish design with the speed and strength of a larger printer....
Post new comment