498(1): デフォルトの名無しさん [] 2024/10/04(金) 22:28:17.05 ID:tixO3LDq(16/22) AAS
>>494
モナドの原論文（Moggiの論文）の読書感想文を入出力の計算効果を題材に解説してみているんだって。
ブログに書いても今更突っ込むなんて恥ずかしいことができる人はいるわけないので、ここに書いている。