David Hopwood <[EMAIL PROTECTED]> 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 -- http://mail.python.org/mailman/listinfo/python-list
