7 ms·
no, its doesn't. but to me an invariant is something that might be useful in a static context (that is something a compiler might enforce, or use to generate mo
by convolvatron 3y ago
no, its doesn't. but to me an invariant is something that might be useful in a static context (that is something a compiler might enforce, or use to generate more efficient code), and an assertion is a runtime construct.