From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 0565BBC69 for ; Fri, 23 Feb 2007 20:14:37 +0100 (CET) Received: from fmmailgate02.web.de (fmmailgate02.web.de [217.72.192.227]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id l1NJEaWs011813 for ; Fri, 23 Feb 2007 20:14:36 +0100 Received: from smtp07.web.de (fmsmtp07.dlan.cinetic.de [172.20.5.215]) by fmmailgate02.web.de (Postfix) with ESMTP id B49BE61E3527 for ; Fri, 23 Feb 2007 20:13:55 +0100 (CET) Received: from [84.165.184.17] (helo=wiko) by smtp07.web.de with smtp (WEB.DE 4.107 #114) id 1HKfrf-000768-00 for caml-list@inria.fr; Fri, 23 Feb 2007 20:13:55 +0100 Message-ID: <007401c75780$c87c53d0$15b2a8c0@wiko> From: "Andreas Rossberg" To: References: <6CB0D237-F894-4AC3-BDBE-2BB484928D3C@gmail.com> Subject: Re: [Caml-list] Instruction selection in the OCaml compiler: Modulesor classes? Date: Fri, 23 Feb 2007 20:28:23 +0100 MIME-Version: 1.0 Content-Type: text/plain; format=flowed; charset="UTF-8"; reply-type=original Content-Transfer-Encoding: 7bit X-Priority: 3 X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook Express 6.00.2900.3028 X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.3028 Sender: AndreasRossberg@web.de X-Sender: AndreasRossberg@web.de X-Miltered: at concorde with ID 45DF3D1C.002 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; rossberg:01 ocaml:01 compiler:01 subtyping:01 wrote:01 typing:01 typing:01 caml-list:01 andreas:01 andreas:01 tuples:01 modules:02 modules:02 objects:02 languages:03 Tom wrote: > > I think you should take a look at another currently active thread - > "Feature request : Tuples vs. records". One of the red lines there is the > comparison of structural versus nominal typing - classes and objects > belonging to the former, and modules and records to the latter. Not exactly: ML modules employ fully structural typing and subtyping. That is their big strength, in contrast to comparable features in most other languages (particularly typical notions of class). - Andreas