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 BAA13902; Thu, 30 Sep 2004 01:32:44 +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 BAA14580 for ; Thu, 30 Sep 2004 01:32:43 +0200 (MET DST) Received: from qrnik.knm.org.pl (paf87.warszawa.sdi.tpnet.pl [217.96.225.87]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id i8TNWgfV023452 (version=TLSv1/SSLv3 cipher=EDH-RSA-DES-CBC3-SHA bits=168 verify=NO) for ; Thu, 30 Sep 2004 01:32:43 +0200 Received: from qrczak by qrnik.knm.org.pl with local (Exim 3.36 #1) id 1CCnw9-0006OR-00 for caml-list@inria.fr; Thu, 30 Sep 2004 01:32:41 +0200 To: caml-list@inria.fr Subject: Re: [Caml-list] really HO Functions X-Face: OW>RV&gN+&b-aiNY|U)f=S%w+/rK!);f>/W9IXg})]&F>ht.1Up8@04+_!gOp(_/l_-+E^. 2\vI)1=D,%HWiq)r(M/V~dr^5T^KF/[w5YZ4<0Sus3+O>l3uA/&W_21m?.s,Po8{pb0@ References: <7f8e92aa04092911481e72dbeb@mail.gmail.com> <200409292331.05016.jon@jdh30.plus.com> From: "Marcin 'Qrczak' Kowalczyk" Mail-Followup-To: caml-list@inria.fr Date: Thu, 30 Sep 2004 01:32:41 +0200 In-Reply-To: <200409292331.05016.jon@jdh30.plus.com> (Jon Harrop's message of "Wed, 29 Sep 2004 23:31:05 +0100") Message-ID: <87oejo4pnq.fsf@qrnik.zagroda> User-Agent: Gnus/5.1006 (Gnus v5.10.6) Emacs/21.3 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Miltered: at concorde with ID 415B461A.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; caml-list:01 marcin:01 'qrczak':01 kowalczyk:01 qrczak:01 citeseer:01 okasaki:01 marcin:01 kowalczyk:01 qrczak:01 writes:01 knm:01 knm:01 psu:96 functions:05 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Jon Harrop writes: >> My question is: are there functions of level >= 2 used in practice >> (e.g. (('a -> 'b -> 'a) -> 'a -> 'b list -> 'a) -> 'c)? > > I've just had a look through some real programs that I've written and the > answer is definitely yes. I use them quite a lot. For >2 they are mainly 3, > sometimes 4 and I haven't seen any >4. http://citeseer.ist.psu.edu/okasaki99functional.html -- __("< Marcin Kowalczyk \__/ qrczak@knm.org.pl ^^ http://qrnik.knm.org.pl/~qrczak/ ------------------- 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