What is a type error?

[Chris Smith]

David Hopwood <david.nospam.hopwood at blueyonder.co.uk> wrote:
> 1 and 2 are easy enough. 3 to 5 are best expressed as assertions rather
> than types.

One of us is missing the other's meaning here.  If 3 to 5 were expressed 
as assertions rather than types, then the type system would become 
incomplete, requiring frequent runtime-checked type ascriptions to 
prevent it from becoming impossible to write software.  That's not my 
idea of a usable language.

-- 
Chris Smith - Lead Software Developer / Technical Trainer
MindIQ Corporation