[MLton-user] Mutual recursion?
Wesley W. Terpstra
wesley at terpstra.ca
Mon Jun 29 15:30:42 PDT 2009
On Mon, Jun 29, 2009 at 10:49 PM, Andreas
Rossberg<rossberg at mpi-sws.mpg.de> wrote:
>> Could someone perhaps explain to me why switching 'fun' for 'and' can
>> lead to problems?
> No, a recursive reference is not polymorphic -- because type inference is
> generally undecidable for polymorphic recursion.
I see. I imagine that if I provide an explicit (polymorphic) type
binding for each function, SML will be happy?
This will be a drag though, since the types involved are quite large. :-/
Thank you very much for your reply. It was helpful.
More information about the MLton-user