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 NAA01730; Thu, 2 May 2002 13:03:33 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f 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 NAA01701 for ; Thu, 2 May 2002 13:03:32 +0200 (MET DST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id g42B3VD17503 for ; Thu, 2 May 2002 13:03:31 +0200 (MET DST) Received: (from fpottier@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id NAA01629 for caml-list@inria.fr; Thu, 2 May 2002 13:03:31 +0200 (MET DST) Date: Thu, 2 May 2002 13:03:31 +0200 From: Francois Pottier To: caml-list@inria.fr Subject: Re: [Caml-list] Extensible tuple types Message-ID: <20020502130331.A1570@pauillac.inria.fr> Reply-To: Francois.Pottier@inria.fr References: <20020502093435.C27687@pauillac.inria.fr> Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit X-Mailer: Mutt 1.0i In-Reply-To: ; from frisch@clipper.ens.fr on Thu, May 02, 2002 at 11:42:35AM +0200 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Thu, May 02, 2002 at 11:42:35AM +0200, Alain Frisch wrote: > > I don't understand what this encoding of extensible tuples allows, > compared to the simple minded solution [the type of an n-typle is > (t1,(t2,...(tn,unit)...)) ] You're right -- and I should think more before I write -- it's essentially the same solution. You do need to distinguish the kind of sequences from the kind of types, though (that is, to distinguish sequence extension ; from the product * and the empty sequence nil from the unit type), otherwise you can't distinguish a tuple from a cascade of pairs. But, apart from that, you're right, it's the same thing. -- François Pottier Francois.Pottier@inria.fr http://pauillac.inria.fr/~fpottier/ ------------------- 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