|
|
|
|
|
|
by JoelMcCracken
4083 days ago
|
|
|
IIUC, contracts are specifically for creating verifications at runtime. In some cases, sanity checking can happen up front/at compile time. In other cases, these must occur at runtime. The Pragmatic Programmer has a whole section on contracts; it is pretty good. |
|
|