概要

主に "Typeclassopedia" に掲載されている型クラスを理解するためのもくもく会です．

毎回指定した型クラスに関する "Typeclassopedia" の内容や，型クラスに関する記事を読んだり，モジュール等で定義されている関数を確認したりソースコードを読んだりすることを各自で行います．

日時

• 毎週金曜日 22:00 ~ 23:30
• 題材によっては，早めに終えることがあります

進め方

• 題材

  • 毎回，対象とする型クラスを指定します
  • 必ずしも "Typeclassopedia" の列挙順で指定しません
  • "Typeclassopedia" に掲載されていない型クラスを扱うことがあります

• もくもく会

  • 連絡事項があれば，Discord にてテキストチャットで伝えます
  • 先に勉強会を終えたり時間に遅れたりしても，お構いなく．ご自分の都合を優先してください．

題材予定の型クラス

• [済] Semigroup, Monoid

• Functor, Bifunctor, Contravariant, Profunctor, Choice, Cochoice, Strong, Costrong

• Apply (Ap), Applicative, Biapply, Biapplicative

• Bind, Monad, ComonadApply, Comonad

• Alt, Plus, Alternative, MonadPlus

• Foldable, Traversable, Bifoldable, Bitraversable, Distributive

• Semigroupid, Category

• Arrow, ArrowZero, ArrowPlus, ArrowChoice, ArrowApply, ArrowLoop

想定する参加者

• 型クラスの関係を確認したい方

• ある型クラスで，どのようなメソッドが定義されているのかを確認したい方

• ある型クラスのメソッドが，どのように実装されているのかを確認したい方

想定していない参加者

• Reader モナド, Writer モナド, State モナド, ST モナドなどの各種モナドと，モナドトランスフォーマーの使い方を，しっかり理解したい方

第2回の内容

扱う型クラスと題材例

1. Functor

   • Typeclassopedia

   • base

     • Stackage LTS 12.12 (GHC 8.4.3) base-4.11.1.0 - Data.Functor

   • fp-course (GitHub)

     • Course.Functor
       • stack を使用する場合: bitemyapp/fp-course

   • "Functors" (Bartosz Milewski, 2015-01-20, Blog)

2. Bifunctor

   • Typeclassopedia

   • base

     • Stackage LTS 12.12 (GHC 8.4.3) base-4.11.1.0 - Data.Bifunctor

   • bifunctors

     • base-4.8.0.0 に導入された Bifunctor の定義元であるパッケージ (ただし, Data.Bifunctor.* は導入されていない)

       New module Data.Bifunctor providing the Bifunctor(bimap,first,second) class (previously defined in bifunctors package) (#9682)

       https://hackage.haskell.org/package/base-4.8.0.0/changelog

     • Stackage LTS 12.12 (GHC 8.4.3) bifunctors-5.5.3

   • "Functoriality" (Bartosz Milewski, 2015-01-20, Blog)

   • "Parametricity for Bifunctor" (Brent Yorgey, 2018-03-30, Blog)

タイムスケジュール

備考

• Typeclassopedia の内容は不定期更新されているため，毎回最新版のものを利用します