概要

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

• Foldable, Foldable1, Bifoldable

• Traversable, Traversable1, Bitraversable, Distributive, Witherable, Compactable

• Semigroupid, Category

• Arrow 関連

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

想定する参加者

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

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

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

第13回の内容

扱う型クラスと題材例

• Alt

  • semigroupoids: Data.Functor.Alt

• Alternative

  • base: Control.Applicative

• Plus

  • semigroupoids: Data.Functor.Plus

• MonadPlus

  • base: Control.Monad

  • "Typeclassopedia: 11 Failure and choice: Alternative, MonadPlus, ArrowPlus"

    • ArrowPlus の記述がありますが，飛ばしてください

• その他

  • optparse-applicative

    optparse-applicative is a haskell library for parsing options on the command line, providing a powerful applicative interface for composing these options.

  • parser-combinators

    The package provides common parser combinators defined in terms of Applicative and Alternative without any dependencies but base. There are also more efficient versions of the combinators defined in terms of Monad and MonadPlus.

  • megaparsec

    This is an industrial-strength monadic parser combinator library. Megaparsec is a feature-rich package that strikes a nice balance between speed, flexibility, and quality of parse errors.

タイムスケジュール

備考

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