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...
Immutable Value Objects in PHP - Bradley Holt
Yesterday I tweeted: Modern object-oriented programming languages need support for immutable Value Objects. #DDD The “DDD” in that tweet stands for Domain-Driven Design. There were...
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....
Post new comment