Michael Perry afferma nel suo corso Pluralsight su Provable Code (solo abbonamento per trascrizione) che:
[T]he burden of proof rests with the caller
In un contratto di codice, perché l'onere della prova deve rimanere al chiamante e non al metodo della classe che viene chiamata? Questa è una convenzione preferita o ha una base più solida? Al momento è come un dogma per me dato che la classe chiamata potrebbe eseguire i propri controlli di sicurezza, il che ridurrebbe la duplicazione del codice chiamante.