Version française
Home     About     Download     Resources     Contact us    
Browse thread
Lost Polymorphism. Can we force the compiler not to?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Pierre-Evariste Dagand <pedagand@g...>
Subject: Re: [Caml-list] Lost Polymorphism. Can we force the compiler not to?
Hi,

You might find this thread interesting :

[http://camltest.inria.fr/pub/ml-archives/caml-list/2003/10/b524697dd6429ef4b3d37491d400e8ff.fr.html]

In a nutshell, it is a FAQ :

"A function obtained through partial application is not polymorphic enough"

at [http://caml.inria.fr/resources/doc/faq/core.en.html].

The proposed solution is eta-expanding. It's what I do when I use my
Arrow combinators.

But I'm not either a type-checker or OCaml guru so their might be a
better solution. That I would be pleased to learn.

HTH,

-- 
Pierre-Evariste Dagand