Version française
Home     About     Download     Resources     Contact us    
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 <lists@philippewang.info> 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.