3 ms·
> Completeness A type checker is complete if it can check every correctly typed program. Do they mean as opposed to the type check system failing with the wron
by mastrsushi 6y ago
> Completeness
A type checker is complete if it can check every correctly typed program.
Do they mean as opposed to the type check system failing with the wrong data type detected?
- phs 6y agoOr perhaps type checking simply not terminating at all.
- yen223 6y agoA typechecker that is "complete" will always accept correctly-typed programs, but it may accept some incorrectly-typed programs. A typechecker that is "sound" will always reject incorrectly-typed programs, but it may reject some correctly-typed programs.