is type checking in D undecidable?
Ola Fosheim Grøstad
ola.fosheim.grostad at gmail.com
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