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

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 8 hours ago \| parent \| next [-]
		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.)
	▲	nilirl 9 hours ago \| parent \| prev [-]
		Ah, I missed the reference. Thanks a lot!