正誤表 - せつラボ 〜圏論の基本〜
Special Thanks
@tadsanさんは当日、弊サークルの売り子さんをしてくださり、売り上げに多大な貢献をしてくださりました。
にも関わらず、第一版の頒布時点での、本書のSpecial Thanksに書かれていませんでした……。 ですのでこの場をお借りして、感謝をあげさせてください。
@tadsanさんの精力的な当日活動がなければ、今回の良き結果は残せなかったでしょう。 本当に、ありがとうございました！
内容
せつラボ 〜圏論の基本〜の誤りについての、Web正誤表です。 逐次、更新されます。
誤りと修正
| 誤 | 正 | 発生した日もしくは版 | 修正した日もしくは版 |
|---|---|---|---|
| P.46: 「リスト5.18: ダメ: IntとCharの両⽅を組み合わせた値のコード」 (Int, Char) left-either-does-not-include | Either Int Char right-either-does-not-include | 第二版 | 2022年 |
| P.105:「リスト10.13: &&&とは違う？ 関数a」 | 「リスト10.13: &&&とは違う？ 関数h」 | 第二版 | 2022年 |
| P48: 「リスト15.20」 Maybe Char 1-wrong | Either () Char 1-correct | 第二版 | 2023-02-04 |
(sc ○ ts()▲) |
(sc ○ ts(▲)) |
第二版 | 2023-02-04 |
-- 以下は『成り立たない』
(-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 CharLeft () :: Maybe Char -- 無 ∈ Either () Char
Right (-10) :: Maybe Char -- -10 ∈ Either () Char
Right 252 :: Maybe Char -- 252 ∈ Either () Char
Right 100 :: Maybe Char -- 100 ∈ Either () CharLeft () :: Either () Char -- 無 ∈ Either () Char
Right (-10) :: Either () Char -- -10 ∈ Either () Char
Right 252 :: Either () Char -- 252 ∈ Either () Char
Right 100 :: Either () Char -- 100 ∈ Either () Char