2020-09-17 「Why Rust?」という記事を読んだ。 medium.com この記事を読んだ。 Rustについてはクリティカルな処理の記述に使われるべきで、どんな時でも使われるといったものではない、との理解を事前に持っていたが、この記事から発見もいくつかあった。 Rustは組み込みやブラウザの実装など従来C++が担ってきた分野で使われることが想定される バグの半分を占めるメモリ関連の問題が原理的に起きない RustはHowは保証するが、Whatは保証しない。それを保証するのはCoqなどのプログラミング言語