Browse thread
Polymorphic recursion
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: | 2007-04-04 (15:51) |
From: | Stefan Monnier <monnier@i...> |
Subject: | Re: Polymorphic recursion |
> This is a good illustration of why -rectypes is not enabled by default. In my experience, polymorphic recursion is almost always linked to datatypes whose recursion is itself polymorphic. As is the case in Loup's example. Has there been work in trying to leverage this connection, so that polymorphic recursion can be automatically inferred by taking advantage of the implicit type hint provided by the datatype definition? Stefan