is type checking in D undecidable?

Ola Fosheim Grøstad ola.fosheim.grostad at
Thu Oct 22 18:04:32 UTC 2020

On Thursday, 22 October 2020 at 17:25:44 UTC, Bruce Carneal wrote:
> Is type checking in D undecidable?  Per the wiki on dependent 
> types it sure looks like it is.

Even if it is, you can still write something that is decidable in 
D, but impractical in terms of compile time.

You probably mean more advanced type systems where these things 
are expressed more implicitly. Basically type systems where you 
can express and resolve properties related to infinite sizes. D 
does not have such capabilities, so you have to go out of your 
way to end up in that territory in D.

More information about the Digitalmars-d-learn mailing list