10:["$","div",null,{"className":"Post-module__aBOVGG__post","style":{"display":"flex","flexDirection":"column","alignItems":"center","gap":"8px","flex":"1","width":"100%","padding":"12px"},"children":[["$","div",null,{"className":"$undefined","style":{"display":"flex","gap":"0.4rem","flexWrap":"wrap","width":"100%"},"children":[false,[["$","a","6148",{"href":"/6148","className":"Post-module__aBOVGG__fg","style":{},"children":"D言語"}],["$","a","24FC",{"href":"/24FC","className":"Post-module__aBOVGG__fg","style":{},"children":"契約プログラミング"}],["$","a","60FA",{"href":"/60FA","className":"Post-module__aBOVGG__fg","style":{},"children":"静的解析"}]]]}],["$","article",null,{"className":"article","children":[["$","div",null,{"className":"$undefined","style":{"display":"flex","justifyContent":"space-between","flexWrap":"wrap","width":"100%"},"children":[["$","h2",null,{"style":{"margin":"0.2rem"},"children":["$","a",null,{"href":"/66C3","children":"あれ"}]}],["$","div",null,{"className":"$undefined","style":{"display":"flex","justifyContent":"end","alignItems":"center","flex":"1","textAlign":"right","whiteSpace":"nowrap"},"children":["$","div",null,{"children":"2024/2/24 4:58:00"}]}]]}],["$","div",null,{"className":"article_body","dangerouslySetInnerHTML":{"__html":"

実をいうと「D言語」の「契約プログラミング(DbC)」は失敗作です。

一つはDbC自体がOOPとの相性がよろしくないということ。OOPを謳ったD涙目。
もう一つはD言語のDbC実装がよろしくない。静的解析してくれない。C#に昔あったCodeContractsの方が本来のDbCに近いし静的解析してくれていいです。
— timeler (@haskellheads) April 21, 2020

\n\n

"}}]]}],["$","div",null,{"className":"$undefined","style":{"display":"flex","gap":"0.4rem","flexWrap":"wrap","width":"100%"},"children":[["$","a","",{"href":"/","className":"Post-module__aBOVGG__bg","style":{"opacity":0},"children":"あれ"}],[]]}]]}]