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 VAA23757; Thu, 30 Sep 2004 21:30:15 +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 VAA19978 for ; Thu, 30 Sep 2004 21:30:13 +0200 (MET DST) Received: from nemerle.org (lilith.ii.uni.wroc.pl [156.17.4.7]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id i8UJUCGx027925 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Thu, 30 Sep 2004 21:30:13 +0200 Received: from malekith by nemerle.org with local (Exim 4.32) id 1CD6d0-0000lc-UC; Thu, 30 Sep 2004 21:30:11 +0200 Date: Thu, 30 Sep 2004 21:27:31 +0200 From: Michal Moskal To: Radu Grigore Cc: caml-list Subject: Re: [Caml-list] really HO Functions Message-ID: <20040930192731.GA32140@roke.okame> Mail-Followup-To: Radu Grigore , caml-list References: <7f8e92aa04092911481e72dbeb@mail.gmail.com> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <7f8e92aa04092911481e72dbeb@mail.gmail.com> User-Agent: Mutt/1.4.2.1i X-PGP-Fingerprint: CF89 1B14 11BE 1CC9 2CA3 7497 5E32 69B4 BC71 B4C2 X-Miltered: at nez-perce with ID 415C5EC4.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; michal:01 moskal:01 malekith:01 pld-linux:01 caml-list:01 2004:99 usefulness:01 tomasz:01 michal:01 moskal:01 malekith:01 kernel:01 sep:01 orders:97 0300,:02 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Wed, Sep 29, 2004 at 09:48:03PM +0300, Radu Grigore wrote: > For this message I'll classify functions on "levels" based on how many > nested parenthesis are needed to represent their type. [...] > (e.g. (('a -> 'b -> 'a) -> 'a -> 'b list -> 'a) -> 'c)? If so, are > there any typical ones that appear in many applications (maybe not as > widespread like map & company but at least of comparable usefulness)? > One example of a level 2 function (stolen from a recent post by Jon > Harrop) is this: > let sum fold = fold (+);; You may have a look at: http://tomasz.ii.uni.wroc.pl/ComplexityOfML.pdf for some statistical data regarding type sizes and orders. -- : Michal Moskal :: http://www.kernel.pl/~malekith :: GCS !tv h e>+++ b++ : ::: Logic is a nice contrast to the Real World. :: UL++++$ C++ E--- a? ------------------- 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