> 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?
Do they mean as opposed to the type check system failing with the wrong data type detected?
A typechecker that is "sound" will always reject incorrectly-typed programs, but it may reject some correctly-typed programs.