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 OAA31923; Mon, 16 Sep 2002 14:24:35 +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 OAA31959 for ; Mon, 16 Sep 2002 14:24:31 +0200 (MET DST) Received: from pelops.inria.fr (pelops.inria.fr [128.93.24.69]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id g8GCOU909238; Mon, 16 Sep 2002 14:24:30 +0200 (MET DST) Received: from pelops.inria.fr (localhost [127.0.0.1]) by pelops.inria.fr (8.11.1/8.11.1) with ESMTP id g8GCONc31180; Mon, 16 Sep 2002 14:24:24 +0200 Message-Id: <200209161224.g8GCONc31180@pelops.inria.fr> X-Mailer: exmh version 2.1.1 10/15/1999 To: Francois Thomasset cc: Quetzalcoatl Bradley , caml-list@inria.fr, thomasse@whisky.inria.fr, thomasse@whisky.inria.fr Subject: Re: [Caml-list] function polymorphic in number of arguments? In-Reply-To: Message from Francois Thomasset of "Mon, 16 Sep 2002 14:19:06 +0200." <200209161219.g8GCJ6c31138@pelops.inria.fr> Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Mime-Version: 1.0 Content-Transfer-Encoding: 8bit Date: Mon, 16 Sep 2002 14:24:23 +0200 From: Francois Thomasset Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk > > Is it possible to make a function of N arguments (3 or more), the first > > two are functions of N-2 arguments, and the function calls the first > > two functions passing its remaining arguments to each of the first two > > functions. > What about this one : > let f a b = > let g x = a x; b x > in g;; > > François Thomasset > Sorry I am wrong : my proposal accepts f f1 f2 "abc", but fails on f g1 g2 "abc" "def" FT ------------------- 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