enforce()?

Walter Bright newshound1 at digitalmars.com
Wed Jun 16 02:13:15 PDT 2010


Andrei Alexandrescu wrote:
> Basically there's a marked difference between contract checking (which 
> verifies the architectural integrity of a program) and error handling 
> (which deals with errors that occur in correct programs). Contracts help 
> with the former, enforce helps with the latter.
> 
> The differences are marked enough that TDPL dedicates a separate chapter 
> to each.

Yes, I agree it is extremely important to separate the concepts of contract 
checking from error handling.


More information about the Digitalmars-d mailing list