What is a type error?

[Chris Smith]

David Hopwood <david.nospam.hopwood at blueyonder.co.uk> wrote:
> This is true, but note that postconditions also need to be efficient
> if we are going to execute them.

If checked by execution, yes.  In which case, I am trying to get my head 
around how it's any more true to say that functional languages are 
compilable postconditions than to say the same of imperative languages.  
In both cases, some statement is asserted through a description of a 
means of computing it.  There may be a distinction worth making here, 
but I'm missing it so far.

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