Sorry and Goodbye...

[Walter Bright]

On 5/29/2021 3:19 PM, Avrina wrote:
> What is the meaning of trust but verify?
> In the study of programming languages, the phrase has been used to describe the 
> implementation of downcasting: the compiler trusts that the downcast term will 
> be of the desired type, but this assumption is verified at runtime in order to 
> avoid undefined behavior.


It means you trust people to do the right thing, but still verify that it gets 
done right.

For example, you trust the pilot to fly the airplane safely, but the copilot is 
there to verify it.

In other words, it's safety through redundancy.