this post was submitted on 22 Jun 2023
11 points (100.0% liked)
General Programming Discussion
7814 readers
1 users here now
A general programming discussion community.
Rules:
- Be civil.
- Please start discussions that spark conversation
Other communities
Systems
Functional Programming
Also related
founded 5 years ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
really curious about contracts. It seems from the example that they are a runtime thing so what is the advantage over just putting some checks in your code at the top and bottom of the function? Does it allow the compiler to help infer compile time conditions at all?