From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id QAA24510 for caml-redistribution; Fri, 10 Sep 1999 16:56:24 +0200 (MET DST) Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id QAA21406 for ; Fri, 10 Sep 1999 16:05:30 +0200 (MET DST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.8.7/8.8.7) with ESMTP id QAA12416; Fri, 10 Sep 1999 16:05:22 +0200 (MET DST) Received: (from vouillon@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id QAA30687; Fri, 10 Sep 1999 16:05:20 +0200 (MET DST) Message-ID: <19990910160519.55031@pauillac.inria.fr> Date: Fri, 10 Sep 1999 16:05:19 +0200 From: Jerome Vouillon To: John Prevost , caml-list@inria.fr Subject: Re: Ocaml 2 object system origins References: Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit X-Mailer: Mutt 0.89.1 In-Reply-To: ; from John Prevost on Mon, Sep 06, 1999 at 06:38:32AM -0400 Sender: weis 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