4 ms·
> Dumb question, what are invariants? The term that you want to Google or ask ChatGPT is "Design By Contract". An invariant is something that is true during t
by pkaler 3y ago
> Dumb question, what are invariants?
The term that you want to Google or ask ChatGPT is "Design By Contract". An invariant is something that is true during the lifecycle of a class, function, loop, service, system, etc. Invariants, preconditions, and postconditions are the three primary constructs in DbC.
- rahimnathwani 3y agoThanks. I asked ChatGPT about the relationship between invariants and Design by Contract: https://chat.openai.com/share/dd2313ac-6088-455c-9d03-01795e62ab85 https://chat.openai.com/share/dd2313ac-6088-455c-9d03-01795e...