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 HAA18530; Sat, 2 Oct 2004 07:02:55 +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 HAA19994 for ; Sat, 2 Oct 2004 07:02:54 +0200 (MET DST) Received: from mproxy.gmail.com (rproxy.gmail.com [64.233.170.192]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id i9252rFd025220 for ; Sat, 2 Oct 2004 07:02:53 +0200 Received: by mproxy.gmail.com with SMTP id 77so4273629rnk for ; Fri, 01 Oct 2004 22:02:52 -0700 (PDT) Received: by 10.38.70.21 with SMTP id s21mr2525767rna; Fri, 01 Oct 2004 22:02:52 -0700 (PDT) Received: by 10.38.75.19 with HTTP; Fri, 1 Oct 2004 22:02:52 -0700 (PDT) Message-ID: <7f8e92aa04100122022209e767@mail.gmail.com> Date: Sat, 2 Oct 2004 08:02:52 +0300 From: Radu Grigore Reply-To: Radu Grigore To: caml-list Subject: Re: [Caml-list] really HO Functions In-Reply-To: <1096490891.415b1f8b2ecbd@mouette.ens-lyon.fr> Mime-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit References: <1096490891.415b1f8b2ecbd@mouette.ens-lyon.fr> X-Miltered: at nez-perce with ID 415E367D.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 2004:99 ens-lyon:01 observations:01 unmanageable:01 hofs:01 ocaml:01 sep:01 wrote:03 prototype:04 functions:05 functions:05 tutorial:05 curiosity:05 practice:06 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Thanks everyone who answered. On Wed, 29 Sep 2004 22:48:11 +0200 (CEST), Jean-Baptiste Rouquier wrote: > Out of curiosity, may I ask why you're looking for such functions ? I am learning OCaml now. The last two-three days I've written a small prototype; then I have reviewed it and one of the observations was that it contains no second-order function. Possible reasons: 1. higher order functions are hard (intellectually unmanageable) 2. HOFs are not needed in practice above a certain order 3. failure to recognize places where a HOF is needed (beyond the standard examples in tutorial). Number 3 was what prompted me to ask the question: a few examples always help. Unfortunately I didn't yet had time to read the cited articles :(. -- regards, radu http://rgrig.idilis.ro/ ------------------- 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