概要

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

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

日時

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

進め方

• 題材

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

• もくもく会

  • 連絡事項があれば，Discord にてテキストチャットで伝えます
  • 先に勉強会を終えたり時間に遅れたりしても，お構いなく．ご自分の都合を優先してください．
  • 対象の型クラスを時間中に終えられず次回までに終えることが困難であれば，次回の型クラスを決定する前に管理者に伝えてください．次回の題材を調整します．
  • 時間が限られているとはいえ，各回で取り上げている内容の理解をできるだけ重視してください

題材予定の型クラス

• [済] Semigroup, Monoid

• [済]Functor, Bifunctor

• [済] Contravariant, Profunctor

• [済] Apply, Applicative, Biapply, Biapplicative, Divisible

• [済] Bind, 基本的な Monad

• [済] MonadFail, MonadFix, ほか Monad 関連

• [済] "Monad Transformer", "Extensible Effect"

• [済] Comonad, ComonadApply

• [済] Alt, Plus, Alternative

• [済] MonadPlus, Decidable

• [済] Parser combinators 関連ライブラリ (パッケージ)

• [済] Foldable, Foldable1

• [済] Bifoldable, Bifoldable1, fold 関連ライブラリ (パッケージ)

• Traversable 関連?

  1. 今回 Traversable, Traversable1
  2. Bitraversable, Bitraversable1
  3. Distributive, mono-traversable
  4. Witherable, Compactable

• Semigroupoid, Category

• Arrow 関連

(備考) 一部型クラス名を変更する議論: semigroupoids issue#26

想定する参加者

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

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

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

第18回の内容

題材例

• Traversable 関連

  • "Typeclassopedia: Traversable"

  • base: Data.Traversable

  • semigroupoids: Data.Semigroup.Traversable (Traversable1)

タイムスケジュール

備考

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