3 ms·
Even standard assertions work as a version of this
by bigmadshoe 1y ago
Even standard assertions work as a version of this
- thesuperbigfrog 1y agoStandard assertions certainly are better than keeping the little proofs only in your head. Many Design-by-Contract implementations are nicer than standard assertions because they help to express intent better and easily refer to the 'old' value of a parameter to verify desired results.