Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
How do I get polymorphic partial application?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Lukasz Stafiniak <lukstafi@g...>
Subject: Re: [Caml-list] How do I get polymorphic partial application?
On 6/23/07, Philippe Wang <> wrote:
> Till Varoquaux wrote:
> > Humm... I have a small issue here: I need to get the result of the
> > partial application of a polymorphic function. Since variable are
> > generalized in Let it is generally advised to use eta expansions,
> > (i.e transform to a total application).
> > sometimes eta expansions just won't do the trick, consider:
> I think you should not try to "hide" that ugly side effect...
Could someone give an example where this "eta-thing" forbids a crash?
I don't remember any example even in Xavier Leroy papers.