@nobsun
• p.229 上から10行目「型 IO a は 8 章で述べた意味では抽象型なので,その値がいくつであるかを知ることはできない.」
=> 「その値がどのように表現されているかを知ることはできない」
• p.236 上から1行目「モナド則を主張する 3 つめの方法は」
=> 「主張する」より「述べる・記述する」の方がよいと思う
• p.236 下から10行目「可変構造は,保持する値の更新,もとの構造の破壊をプロセスの中で行うためのものである.」
=> 「可変構造は,保持する値の更新をその過程でもとの構造を破壊することで効率的に行うものである」？
原文は "mutable structures that rely for their efficiency on being able to update their values, destroying the original structure in the process"
英語できる人、ヘルプ！
... Replies ...