home .. forth .. colorforth mail list archive ..

RE: [colorforth] abort


> If your specification is a test, that is likely not a very thorough
> specification. To give an example:
> 
> If your specication for addition is:
> 
> 2 + 2 = 4
> 
> this is fine if you only add 2 and 2, but inadequate if you 
> consider the
> addition of arbitrary integers modulo 2^32 .

Nevermind, It does what the customer specified he can't blame you for that.
What he can blame you for is that you did not point him that his spec was
too weak.
He'll have to pay you for your "2+2 only" pocket calculator, but you
probably won't see him again.
But you pointed it right, it requires carefulness in specification: n + n =
2n does work either.


 Amicalement,
  Frederic

---------------------------------------------------------------------
To unsubscribe, e-mail: colorforth-unsubscribe@xxxxxxxxxxxxxxxxxx
For additional commands, e-mail: colorforth-help@xxxxxxxxxxxxxxxxxx
Main web page - http://www.colorforth.com