Special Thanks

　@tadsanさんは当日、弊サークルの売り子さんをしてくださり、売り上げに多大な貢献をしてくださりました。

にも関わらず、第一版の頒布時点での、本書のSpecial Thanksに書かれていませんでした……。ですのでこの場をお借りして、感謝をあげさせてください。

　@tadsanさんの精力的な当日活動がなければ、今回の良き結果は残せなかったでしょう。本当に、ありがとうございました！

内容

　せつラボ〜圏論の基本〜の誤りについての、Web正誤表です。逐次、更新されます。

第二版で発生した誤りと修正

誤	正
P.46: 「リスト5.18: ダメ: IntとCharの両⽅を組み合わせた値のコード」 (Int, Char) ¹	Either Int Char ²
P.105:「リスト10.13: &&&とは違う？関数a」	「リスト10.13: &&&とは違う？関数h」

誤

-- 以下は『成り立たない』
(-10, 'a') :: (Int, Char)    --    (-10, 'a') ∈ (Int, Char)
(252, 'q') :: (Int, Char)    --    (252, 'q') ∈ (Int, Char)
(100, 'z') :: (Int, Char)    --    (100, 'z') ∈ (Int, Char)

↩︎

正

-- 以下は『成り立たない』
(-10, 'a') :: Either Int Char    --    (-10, 'a') ∈ Either Int Char
(252, 'q') :: Either Int Char    --    (252, 'q') ∈ Either Int Char
(100, 'z') :: Either Int Char    --    (100, 'z') ∈ Either Int Char

↩︎

この記事はこちらから修正リクエストを送ることができます。
正誤表 - せつラボ〜圏論の基本〜 - github
ゴミ箱ボタンの左にある、鉛筆ボタンを押してね！