Browse thread
weird type behavior
[
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: | Kirill <kirillkh@g...> |
| Subject: | Re: [Caml-list] weird type behavior |
Hi, Unfortunately, I wasn't able to infer, how to solve my problem from the FAQ, nor from other sources. I can see that partial application somehow interferes with polymorphism, and partial application does look necessary for my task. Does it mean it's completely impossible in OCaml? Or is there still some way to overcome the problem? -Kirill On Sun, 2006-10-29 at 03:05 +0200, Kirill wrote: > On Sat, 2006-10-28 at 17:15 +0100, Richard Jones wrote: > > I think the answer to the second part of your question is here: > > > > http://caml.inria.fr/resources/doc/faq/core.en.html#eta-expansion > > > > Rich. > >