Recursive typedef

Markus Dangl danglm at
Thu Oct 5 10:44:28 PDT 2006

Karen Lanrap schrieb:
> I do believe that there cannot be a typesafe way to define a type 
> that is recursive in itself, but I have not tried to prove that.

I think i remember something similar about recursive function types from 
one of my lectures... ("a->b->a" is not possible because "(a=>b)=>a" 
cannot be proven or sth like that)

But this is a workaround:
interface ParseFn
     ParseFn opCall(char[]);

I don't really understand why this makes such a big difference for the 
type system, because it seems really equivalent.

More information about the Digitalmars-d-learn mailing list