Version française
Home     About     Download     Resources     Contact us    
Browse thread
[Caml-list] really HO Functions
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Diego Olivier Fernandez Pons <Diego.FERNANDEZ_PONS@e...>
Subject: Re: [Caml-list] really HO Functions
    Bonjour,

> > > 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

I would't call that a real example. It is just an exercice on HOF and
combinators more than a really practical application.


        Diego Olivier

-------------------
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