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.
