Browse thread
Sources, sinks, and unbound parameter types
-
Dario Teixeira
- Daniel_Bünzli
- Christopher L Conway
- Jeremy Yallop
[
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: | Daniel_Bünzli <daniel.buenzli@e...> |
| Subject: | Re: [Caml-list] Sources, sinks, and unbound parameter types |
It seems what you want is existential types, see the example with lists of composable functions here [1,2]. Best, Daniel [1] http://caml.inria.fr/pub/ml-archives/caml-list/2004/01/52732867110697f55650778d883ae5e9.fr.html [2] http://caml.inria.fr/pub/ml-archives/caml-list/2004/01/470ee4e9fe63cf36e1bc477980b102e2.fr.html