[B!] 型は壁、Rustでもバグを直すな、表現できなくせよ
https://b.hatena.ne.jp/entry/s/speakerdeck.com/nwiizo/xing-habi-rustdemobaguwozhi-suna-biao-xian-dekinakuseyo

30ページあたりからアホらしくなって読み飛ばしちゃったけど、
趣旨には同意だけど、だったらAda/SPARKを使うほうがよくない？＞＜
その為の言語がAdaであるし、このパターンのバグはSPARKの形式検証で検出できるじゃん？＞＜