Rust
https://gyazo.com/f4135b907eedaaf55f4da28cdd29173d
マルチパラダイムのプログラミング言語。　システムプログラミング向けではあるが、どんなものでも書ける。
書き味は Ruby に近いかも。
ガベージコレクションがないのにメモリ安全。
所有権の概念とボローチェッカーでコンパイル時にメモリ安全が確保される。
ADT あるのがデカい。低レベルまでプログラミングできて ADT 使えるのは型の表現力が高まり非常に使いやすい。
所有権よりこっちの方が威力としてはデカいと思ってる。