[stack] Re: Some thoughts on Object Cat

On Apr 18, 2008, at 3:13 PM, Christopher Diggins wrote:

> In the quest to add objects to Cat I am thinking of doing some rather
> strange things.
> ...
> This is so that I can support prototype-style object oriented  
> programming.

You want extensible polymorphic records with first class labels; that  
will get you very close to prototype-based OO in the style of a  
language like Io.

There are quite a few good papers out there if you search google and  
citeseer. I particularly like the work by Daan Leijen (http://research.microsoft.com/users/daan/pubs.html 
). The types themselves aren't hard to manage, but efficient  
compilation generally is.

- John

P.S. Any reason we're all ignoring the reply-to header?