概要

主に "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

• Extend, ComonadApply(Applicative 関連だけど...), Comonad

• Alt, Plus, Alternative, MonadPlus, Decidable

• Foldable, Foldable1, Bifoldable

• Traversable, Traversable1, Bitraversable, Distributive

• Semigroupid, Category

• Arrow 関連

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

想定する参加者

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

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

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

想定していない参加者

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

第9回の内容

扱う型クラスと題材例

• "Monad Transformer" (前回の続き)

• "Extensible Effects"

  • extensible-effects

    • Hackage extensible-effects-3.1.0.2

    • "Extensible Effects はモナド変換子に対する救世主になり得るか？" (2013/07/21, Hiromi ISHII, Blog)

  • freer-simple

    • Hackage freer-simple-1.2.1.0

  • extensible

    • LTS Haskell 12.19 (GHC 8.4.4) extensible-0.4.9

    • Hackage extensible-0.4.10.1

    • Scholl of Haskell extensible (2017-2018, Fumiaki Kinoshita)

    • "Extensible Effects ステップ・バイ・ステップ" (2017-12-09, matsubara0507, Blog)

    • "extensible 攻略Wiki" (2018-, fumieval, Wiki)

  • "Extensible Effects: an alternative to Monad Transformers" (last update: 2017-10-10, Oleg Kiselyov, codes and documents site)

タイムスケジュール

備考

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