15/06/10 21:22:17.53 vkTp1NO/.net
表示意味論が提示されてから10年ほどで計算効果一般の
モデルをモナドで与えようという発想が提出されてるのだが、
「今までモナドという概念がなかった」とはこれいかに。
15/06/10 21:22:17.53 vkTp1NO/.net
表示意味論が提示されてから10年ほどで計算効果一般の
モデルをモナドで与えようという発想が提出されてるのだが、
「今までモナドという概念がなかった」とはこれいかに。
15/06/10 21:22:17.53 vkTp1NO/.net
表示意味論が提示されてから10年ほどで計算効果一般の
モデルをモナドで与えようという発想が提出されてるのだが、
「今までモナドという概念がなかった」とはこれいかに。