|
Two interesting items in the discussion group today.
Daniel links to The Theory of Classification. A series of articles on type theory for OOP practitioners.
James links to an essay he wrote entitled Programming as if Performance Mattered which, as you'd expext, sparks a debate.
All editors are, of course, encouraged to provide links from the home page to items from the discussion group, when they think the discussion group messages are worthy of wider attention.
Posted to general by Ehud Lamm on 5/5/04; 12:35:25 PM
|
Lambda Lifting
