I believe Rust had some form of contract enforcement in its early days, but they... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		TazeTSchnitzel on Jan 2, 2023 \| parent \| context \| favorite \| on: Adding design-by-contract conditions to C++ via a ... I believe Rust had some form of contract enforcement in its early days, but they eventually removed it because it had too many problems. I wish I could find the post about it, but Google is useless these days.

mihaigalos on Jan 2, 2023 [–]

The contracts crate [1] supports this via macros.

I actually prefer the invariant section above the definition, but do admit the pre and post in C++ look better.

[1] https://docs.rs/contracts/latest/contracts/

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