IIUC, contracts are specifically for creating verifications at runtime. In some cases, sanity checking can happen up front/at compile time. In other cases, the

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.