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 XAA01182; Tue, 10 Apr 2001 23:27:44 +0200 (MET DST) 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 XAA01188 for ; Tue, 10 Apr 2001 23:27:43 +0200 (MET DST) Received: from smtp4.ihug.co.nz (smtp4.ihug.co.nz [203.109.252.5]) by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id f3ALReb06012 for ; Tue, 10 Apr 2001 23:27:40 +0200 (MET DST) Received: from [192.168.0.12] (p39-max8.wlg.ihug.co.nz [203.173.231.231]) by smtp4.ihug.co.nz (8.9.3/8.9.3/Debian 8.9.3-21) with ESMTP id JAA03153 for ; Wed, 11 Apr 2001 09:27:24 +1200 X-Authentication-Warning: smtp4.ihug.co.nz: Host p39-max8.wlg.ihug.co.nz [203.173.231.231] claimed to be [192.168.0.12] Mime-Version: 1.0 X-Sender: bruce@209.163.245.148 Message-Id: In-Reply-To: References: Date: Wed, 11 Apr 2001 09:26:53 +1200 To: caml-list@inria.fr From: Bruce Hoult Subject: RE: [Caml-list] variant with tuple arg in pattern match? Content-Type: text/plain; charset="us-ascii" ; format="flowed" Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk > > 1. Multiple arguments. Fine for the calculus, but in any language with >> tuples or records we can just write f(x,y), like everybody else. > >This is as much of a hack as currying. Why to pack arguments in a tuple >when you could simply use currying? Multiple return values. Unless you want to make continuations explicit (and that doesn't seem to be what Caml folk want), arguments in a tuple merely mirror results in a tuple. Curried continuations ... yummm. -- Bruce ------------------- To unsubscribe, mail caml-list-request@inria.fr. Archives: http://caml.inria.fr