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 AAA10696; Sat, 4 May 2002 00:21:19 +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 AAA10613 for ; Sat, 4 May 2002 00:21:18 +0200 (MET DST) Received: from smarthost0.mail.uk.easynet.net (smarthost0.mail.uk.easynet.net [212.135.6.10]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id g43MLGP12296 for ; Sat, 4 May 2002 00:21:17 +0200 (MET DST) Received: from tnt-9-128.easynet.co.uk ([195.40.198.128] helo=7p8420j) by smarthost0.mail.uk.easynet.net with smtp (Exim 3.35 #1) id 173lQL-000HCp-00; Fri, 03 May 2002 23:21:10 +0100 Message-Id: <4.1.20020503182817.009ca730@127.0.0.1> Message-Id: <4.1.20020503182817.009ca730@127.0.0.1> X-Sender: daveb/pophost.tardis.ed.ac.uk@127.0.0.1 X-Mailer: QUALCOMM Windows Eudora Pro Version 4.1 Date: Fri, 03 May 2002 22:58:22 +0100 To: Jocelyn =?iso-8859-1?Q?S=E9rot?= , Dave Berry From: Dave Berry Subject: Re: [Caml-list] How to read three integers from a text-file... ? Cc: caml-list@inria.fr In-Reply-To: <6ECF4649-5C48-11D6-AC27-0003934491C2@lasmea.univ-bpclermon t.fr> References: <4.1.20020430114454.009caaf0@127.0.0.1> Mime-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk At 16:42 30/04/2002, Jocelyn S=E9rot wrote: >Sorry to jump in the middle of this discussion, but your last remark on=20 >"extensible n-tuples" drew my attention (i use to need this kind of thing in a=20 >completely different context). Can you provide references on these >extensions of ML type systems ? Hi Jocelyn, I give some references below, but I have to add several caveats to my remarks. I don't have all these papers, so I can't check exactly what they cover. I believe they include similar operations on labelled records, and these can be mapped to tuples by the SML technique of defining tuples as records with numeric labels. Whether that's the best approach is another question; possibly it would be simpler to represent them as nested pairs, as Alain Frisch suggested. Finally, I'm not sure whether all these papers gave type systems that were extensions of ML. Anyway, here are the papers I had in mind. Didier's work went on to become Objective ML (which is why I wondered whether this operation was already available in the system underlying OCaml). Some of the other authors are active on this list, and might be able to tell you more accurately whether their work is relevant. Dave. Luca Cardelli and John C. Mitchell, "Operations on records", DEC SRC, August 1989. Mitchell Wand, "Type inference for record concatenation and multiple inheritance", LICS 1989. Didier Remy, "Typechecking records in a natural extension of ML", POPL 1989. Robert Harper and Benjamin Pierce, "A record calculus based on symmetric concatenation", POPL 1991. [N.b. Symmetric concatenation is more complex then simple record extension] Atsushi Ohori, "A compilation method for ML-style polymorphic record calculi", POPL 1992. Didier Remy, "Typing record concatenation for free", POPL 1992. ------------------- 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