0338デフォルトの名無しさん
2022/09/21(水) 18:00:00.52ID:H3dYipCMしかし
@「Cyclone」にあった性質(*)が実際に「Rust」で失われた(*Rustは「メモリリークをコンパイル時に防ぐ」ことは出来ない)
A「Cyclone」にあった他の性質が「Rust」で保持されていると言う「保証」「証明」はない
B「Rust」で付け加えた性質には、「何の証明」も与えられていない
C「Rust」の「コンパイル時点でメモリ安全性」(仮 + *)は「証明」されていない
これが正しい論理的思考
Cを認めるのが「都合が悪い」Rusteseが 4~5名 存在します。深夜から早朝、日中まで。