かざいむ日誌

IT関係で知ったことなどを記事としてあげていきます。内容に不備や質問などあればぜひコメントをよせてください。

「Why Rust?」という記事を読んだ。

medium.com

 

この記事を読んだ。

Rustについてはクリティカルな処理の記述に使われるべきで、どんな時でも使われるといったものではない、との理解を事前に持っていたが、この記事から発見もいくつかあった。

  • Rustは組み込みやブラウザの実装など従来C++が担ってきた分野で使われることが想定される
  • バグの半分を占めるメモリ関連の問題が原理的に起きない
  • RustはHowは保証するが、Whatは保証しない。それを保証するのはCoqなどのプログラミング言語