Is this just a different term for precondition, postcondition and invariants in ... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

SideburnsOfDoom on March 8, 2023 | parent | context | favorite | on: Assertions are pessimistic, assumptions are optimi...

Is this just a different term for precondition, postcondition and invariants in "Design by Contract"?

It's not a new idea, this has been integrated into programming languages before, notably Eiffel (1985)

https://en.wikipedia.org/wiki/Design_by_contract

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact