j5ik2o https://blog.hatena.ne.jp/j5ik2o/ かとじゅんの技術日誌 https://blog.j5ik2o.me/ Rust 設計 この記事はRust Advent Calendar 2021の12/8日の記事です。 Rust前提の記事として書きましたが、他の言語にも適用できる考え方なので、ほかの言語勢の方々もよければお付き合い下さい。 今回のテーマは「Rustで真に安全なプログラムを書く方法」についてです。 「真に安全なプログラム」の定義は以下とします。 挙動が安定し、結果が予測可能となる 正しさの基準に基づき、プログラムの間違いを検知することができる 「真に」とはドメイン知識に基づく正しさという意味です。詳しくは後述します。 それと「そもそもRustで実装されるプログラムは安全じゃないのか」という想定質問については「メ… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fblog.j5ik2o.me%2Fentry%2F2021%2F12%2F08%2F000000" title="Rustで真に安全なプログラムを書く方法 - かとじゅんの技術日誌" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://m.media-amazon.com/images/I/512NUC5YzPL._SL500_.jpg Hatena Blog https://hatena.blog 2021-12-08 00:00:00 rich https://blog.j5ik2o.me/entry/2021/12/08/000000 1.0 100%