Version française
Home     About     Download     Resources     Contact us    
Browse thread
Ocaml 2 object system origins
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Jerome Vouillon <Jerome.Vouillon@i...>
Subject: Re: Ocaml 2 object system origins
On Mon, Sep 06, 1999 at 06:38:32AM -0400, John Prevost wrote:
> I just came across the paper "Typing in object-oriented languages:
> Achieving expressiveness and safety" by Kim Bruce, and was struck,
> once I referred back to the O'Caml documentation on the new object
> system, by the similarities.
> 
> So, I was just wondering whether the features of the new object system
> are based on this paper, a predecessor of this paper, or perhaps the
> language LOOM, which apparently shares syntax with the examples in the
> paper.

The two object systems was designed independently and are actually
very different, even though they seem to have roughly the same
expressive power.  For instance, O'Caml has no notion of "MyType" and
does not use a matching relation (<#). But these two notions can more
or less be expressed using recursive types and type instantiation.

> (The presence of # types seems too much to be chance.)

Indeed, I chose this syntax because the # abbreviations have
(very) roughly the same meaning as the # types of Kim Bruce.

-- Jérôme