#プログラミング言語 #式指向プログラミング

ガベージコレクションがない

所有権システムによってメモリエラーとかをコンパイル時に検出する

線形型 と関係がある？

手続き型ながら制御構文はすべて式

型が強い

構造体にメソッドを定義してオブジェクト指向ができるが、型とメソッドの定義は分離されており、型から型への継承ができない

型を継承する代わりにトレイトを継承する。トレイトはある型が実装しているべきメソッドのインターフェースを定義しており、型にトレイトを実装するとき、要求されたメソッドをその型で実装する

イテレータ はトレイトで定義されている

代数的データ型があり、Maybe/Option とか Either/Result とかが標準で入ってて各種APIに普通に登場する

豊富なツールチェインが公式で用意されており、乱立したツールを選択する必要がない

パッケージマネージャ兼ビルドツールのCargo

フォーマッタのrustfmt

リンタのclippy

Language Server Protocol サーバのrust-analyzer

環境構築ツールのrustup

愛くるしいマスコットのFerrisくん

FirefoxのレンダリングエンジンServoに使われている

Webフロントエンドツールに採用されるようになってきた

Parcel v2