← Back to context

Comment by nilirl

7 hours ago

Is the idea of the runtime contracts similar to the idea of runtime validation? Or are they different in some way?

3 comments

nilirl

Reply
pramodbiligiri  7 hours ago

It 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-tra...

  • andai  6 hours ago

    Is 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.)