「この講義では問題のあるコードの例を数多く見てきましたが、 一貫した用語が不足しています。

「次のセクションの目的は、これまで考えてきた概念の多くを説明する いくつかの用語を導入することです。

• 未定義動作
• 健全
• 非健全

「多くの安全性の前提条件は構文的というより意味論的なものなので、 共通の語彙を使うことが重要です。そうすることで意味論に合意できます。

「包括的な目標は、健全性とは何かについての思考の枠組みを築き、 unsafe を含む Rust コードが健全なままであることを確保することです。」