4 ms·
Is the idea of the runtime contracts similar to the idea of runtime validation? Or are they different in some way?
by nilirl 5mo ago
Is the idea of the runtime contracts similar to the idea of runtime validation? Or are they different in some way?
- pramodbiligiri 5mo agoIt is described in the "Code Contracts" section of the article: "Code contracts specify preconditions, postconditions, and invariants for critical functions. These contracts are converted into runtime asserts during testing but can be disabled in production builds for performance". The .NET framework article that he links to: https://learn.microsoft.com/en-us/dotnet/framework/debug-trace-profile/code-contracts https://learn.microsoft.com/en-us/dotnet/framework/debug-tra...
- nilirl 5mo agoAh, I missed the reference. Thanks a lot!
- andai 5mo agoIs this basically what Dijkstra was saying? I've been thinking how his approach was considered impractical, but may eventually become necessary for security/stability reasons the way things are going. (Seems like new zeroday on HN front page every day now.)
- pramodbiligiri 5mo agoThere was a good blog post recently along these lines: https://aybabt.me/blog/correctness-agentic-world https://aybabt.me/blog/correctness-agentic-world