Version française
Home     About     Download     Resources     Contact us    
Browse thread
weird type behavior
[ Home ] [ Index: by date | by threads ]
[ Search: ]

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