静的解析
2022/9/18 3:59:00
『Masanori Ogino 𓀁: "FFIと静的解析の組み合わせは今後アツいトピックなんじゃない…" - :don:』
2024/12/9 3:27:00
あれ
2024/2/24 4:58:00
実をいうと「D言語」の「契約プログラミング(DbC)」は失敗作です。
— timeler (@haskellheads) April 21, 2020
一つはDbC自体がOOPとの相性がよろしくないということ。OOPを謳ったD涙目。
もう一つはD言語のDbC実装がよろしくない。静的解析してくれない。C#に昔あったCodeContractsの方が本来のDbCに近いし静的解析してくれていいです。