From: Ralf Jung Date: Wed, 22 Aug 2018 18:01:21 +0000 (+0200) Subject: tweak the slogan X-Git-Url: https://git.ralfj.de/web.git/commitdiff_plain/9d420f4bd1ec39e088d4c322c00eb974420b1c8b?ds=inline;hp=2916b1c61c38b0fc93e06665077954218685bd4c tweak the slogan --- diff --git a/personal/_posts/2018-08-22-two-kinds-of-invariants.md b/personal/_posts/2018-08-22-two-kinds-of-invariants.md index b403c70..a90dc47 100644 --- a/personal/_posts/2018-08-22-two-kinds-of-invariants.md +++ b/personal/_posts/2018-08-22-two-kinds-of-invariants.md @@ -180,7 +180,7 @@ My gut feeling is that it should not be (i.e., validity should require that `i32 I have talked about two kinds of invariants that come with every type, the safety invariant and the validity invariant. For unsafe code authors, the slogan summarizing this post is: -> *You must always be valid, but you must not always be safe.* +> *You must always be valid, but you must only be safe in safe code.* I think we have enough experience writing unsafe code at this point that we can reasonably discuss which validity invariants make sense and which do not -- and I think that it is high time that we do so, because many unsafe code authors are wondering about these exact things all the time.