原発の安全神話と同じなんだよな
Rustは安全という神話を前提にして思考停止してるので
unsafeコードの危険性を除去するための仕組みやツールの研究が全く進まない
unsafe関数/ブロックで満たすべきsafety guaranteeはいまだにコメント依存
コメントを書いたやつが間違う可能性もあればそれを見て実装するやつが間違う可能性もある
依存ライブラリのunsafeコードを含めると人間がすべてを監査するのは実質不可能
だけどAIによるunsafeコードの監査は今のところは全く使い物にならない
Rust part35
■ このスレッドは過去ログ倉庫に格納されています
563デフォルトの名無しさん
2026/05/15(金) 16:23:28.49ID:DUPJ0/5I■ このスレッドは過去ログ倉庫に格納されています