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=1.0 required=5.0 tests=AWL,SPF_NEUTRAL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id 8C5E4BC69 for ; Sun, 24 Jun 2007 21:11:56 +0200 (CEST) Received: from wa-out-1112.google.com (wa-out-1112.google.com [209.85.146.177]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l5OJBtwD025264 for ; Sun, 24 Jun 2007 21:11:56 +0200 Received: by wa-out-1112.google.com with SMTP id j37so1576195waf for ; Sun, 24 Jun 2007 12:11:54 -0700 (PDT) DKIM-Signature: a=rsa-sha1; c=relaxed/relaxed; d=gmail.com; s=beta; h=domainkey-signature:received:received:message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; b=EDPfMt67VqfdBPIoMLjNwKUzTwnOT/5ZBf17QesJYJo48l6zfaNDqZR+zp71Ynyixd4Ap2QFPYiFdsT9oF4/nJJpyl4Zxmu+JNjG/HZuMERbs18Or4aGxiNAneKAO6q8CyJHN33anfj7VLYyRkfAhnq9umpRRti5scF+t9x69F4= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; b=Or2nMZAfV9SbaZfCnKs+uuFp0n5Mq6+it4fpLZpJC5vFaJNXJDgEZn+dCctLGYHBHntjtI6p0qO7a9VpSlJor9JjT5i1Ri6SG0/ujqLlGsNGJ6j0n/voxUdCWDxUHZS9Fi9JvDHMfosAAnAZxTP5ProNwqOAOtFOSp4csNm5JDc= Received: by 10.114.148.1 with SMTP id v1mr4792670wad.1182712314907; Sun, 24 Jun 2007 12:11:54 -0700 (PDT) Received: by 10.114.235.10 with HTTP; Sun, 24 Jun 2007 12:11:54 -0700 (PDT) Message-ID: <875c7e070706241211g37d3b28r61656020da21f973@mail.gmail.com> Date: Sun, 24 Jun 2007 15:11:54 -0400 From: "Chris King" To: "Arnaud Spiwack" Subject: Re: [Caml-list] Execution time of class versus record Cc: caml-list@yquem.inria.fr In-Reply-To: <467EBD16.7060303@lix.polytechnique.fr> MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Content-Disposition: inline References: <467E8A6E.9050700@menta.net> <200706241629.50551.jon@ffconsultancy.com> <9d3ec8300706240848o6ac94a29q67f32d4774c88e0e@mail.gmail.com> <467E9676.50905@lix.polytechnique.fr> <1182709750.20268.22.camel@localhost.localdomain> <467EBD16.7060303@lix.polytechnique.fr> X-j-chkmail-Score: MSGID : 467EC1FB.003 on discorde : j-chkmail score : X : 0/20 1 0.000 -> 1 X-Miltered: at discorde with ID 467EC1FB.003 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; lix:01 compilation:01 ocaml:01 variants:01 syntax:01 variants:01 polymorphic:01 polymorphic:01 wrote:01 arnaud:01 extensible:01 caml-list:01 essentially:02 variables:02 objects:02 On 6/24/07, Arnaud Spiwack wrote: > Another lead is maybe something due to module compilation, the > earlier idea might imply that each module has it's own namespace (it's > the case for almost everything in OCaml, except, if I'm not mistaking, > method names). And polymorphic variants. If you consider objects as extensible records, ignoring instance variables and initializers and pretending they support pattern matching and the "with" syntax, then their design is essentially the record analogue of polymorphic variants. Hence a global namespace. - Chris