* Polymorphic recursion, please
@ 2007-09-20 11:51 Lukasz Stafiniak
2007-09-20 12:24 ` Lukasz Stafiniak
0 siblings, 1 reply; 2+ messages in thread
From: Lukasz Stafiniak @ 2007-09-20 11:51 UTC (permalink / raw)
To: ocaml ml
Hello,
I've been beaten by lack of polymorphic recursion again. I propose the
following syntax:
let rec (f :> ty) = ...
Here, all type variables (explicit and implicit) in ty are
generalized. The alternative syntax:
let rec (f : 'a b c . ty) = ...
makes it more difficult (if possible? I forgot.) to catch implicit row
variables (I'm using polymorphic variants for subtyping).
^ permalink raw reply [flat|nested] 2+ messages in thread
* Re: Polymorphic recursion, please
2007-09-20 11:51 Polymorphic recursion, please Lukasz Stafiniak
@ 2007-09-20 12:24 ` Lukasz Stafiniak
0 siblings, 0 replies; 2+ messages in thread
From: Lukasz Stafiniak @ 2007-09-20 12:24 UTC (permalink / raw)
To: ocaml ml
On 9/20/07, Lukasz Stafiniak <lukstafi@gmail.com> wrote:
> I've been beaten by lack of polymorphic recursion again. I propose the
It wasn't that bad, it's just my English: should be "bitten".
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2007-09-20 12:23 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2007-09-20 11:51 Polymorphic recursion, please Lukasz Stafiniak
2007-09-20 12:24 ` Lukasz Stafiniak
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox