From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id TAA22509; Wed, 20 Aug 2003 19:25:47 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id TAA22236 for ; Wed, 20 Aug 2003 19:25:46 +0200 (MET DST) Received: from cgpsrv1.cis.mcmaster.ca (univmail.cis.McMaster.CA [130.113.64.46]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id h7KHPjT27042 for ; Wed, 20 Aug 2003 19:25:45 +0200 (MET DST) Received: from [130.113.68.27] (account carette@univmail.cis.mcmaster.ca HELO pccarettej) by cgpsrv1.cis.mcmaster.ca (CommuniGate Pro SMTP 4.0.6) with ESMTP id 50993902; Wed, 20 Aug 2003 13:25:43 -0400 Reply-To: From: "Jacques Carette" To: , "'Benjamin Geer'" Cc: "'Brian Hurt'" , Subject: RE: [Caml-list] does class polymorphism need to be so complicated? Date: Wed, 20 Aug 2003 13:25:54 -0400 Organization: McMaster University Message-ID: <000f01c36740$1bfe14b0$1b447182@cas.mcmaster.ca> MIME-Version: 1.0 Content-Type: text/plain; charset="US-ASCII" Content-Transfer-Encoding: 7bit X-Priority: 3 (Normal) X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook, Build 10.0.4510 In-Reply-To: Importance: Normal X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1165 X-Loop: caml-list@inria.fr X-Spam: no; 0.00; jacques:01 caml-list:01 naively:01 coq:02 classes:03 dependent:03 complicated:04 seems:05 indeed:06 polymorphism:06 obvious:06 quite:06 rows:06 perhaps:09 rather:09 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk > The extension of Brian's code to rows with more than one field is obvious > though, isn't it? Indeed - but that rather begs the question of why are classes and rows different, as they (naively perhaps) seem so ripe for 'unification'. The work on dependent records in Coq seems highly related (and looks quite successful, at least in the context of the FOC project). Jacques ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners