最近の検索
検索オプション
Rust のドメインに限定しても safety invariant と validity invariant の使い分けが……
Two Kinds of Invariants: Safety and Validity
https://www.ralfj.de/blog/2018/08/22/two-kinds-of-invariants.html
www.ralfj.deTwo Kinds of Invariants: Safety and ValidityWhen talking about the Rust type system in the context of unsafe code, the discussion often revolves around invariants: Properties that must always hold, because the language generally assu...