>>170
飛行機の自動操縦が100%完璧じゃなくて最後に人間の機長が必要だからって、「じゃあ飛行機必要ないじゃん」って言ってることになっちゃうなぁ

Rustは「メモリ安全」と「データ競合」をコンパイラが100%潰してくれてるから、人間が「キャンセル安全性」っていう最後の難問だけに集中できる。他の言語はスタートラインの時点でメモリ破壊やデータ競合の地獄が待ってる。

それでも、この問題点を別言語で解決しようって流れもあって
Austral, Koka, Hylo, Mojoなどもでてる。

Rust自身もasync dropやLinearTypes(Australが近い?)を入れようとしてて
これが入れば100%安全になる。

実用性でいうとRustに最も現実味が残ってるのは確実ではある