Browse thread
[Caml-list] really HO Functions
-
Radu Grigore
- Jacques Carette
-
Jon Harrop
-
Marcin 'Qrczak' Kowalczyk
- Diego Olivier Fernandez Pons
-
Marcin 'Qrczak' Kowalczyk
- Michal Moskal
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ 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