このエントリーをはてなブックマークに追加

11月

9

"Typeclassopedia+α" オンラインもくもく会#6

`Bind, Monad`

募集内容

参加枠1

無料

参加者数
3

イベントの説明

概要

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

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

日時

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

進め方

  • 題材

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

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

題材予定の型クラス

  • [] Semigroup, Monoid

  • []Functor, Bifunctor

  • [済] Contravariant, Profunctor

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

  • 今回 Bind, Monad

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

  • Alt, Plus, Alternative, MonadPlus, Decidable

  • Foldable, Bifoldable

  • Traversable, Bitraversable, Distributive

  • Semigroupid, Category

  • Arrow

  • ArrowZero, ArrowPlus, ArrowChoice, ArrowApply, ArrowLoop

想定する参加者

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

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

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

想定していない参加者

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

第6回の内容

注意

  1. Bind は, Typeclassopedia に非掲載です
  2. Bind は, base には導入されていません

扱う型クラスと題材例

  1. Bind

    • semigroupoids: Data.Functor.Bind

      • Stackage LTS 12.17 (GHC 8.4.4): semigroupoids-5.2.2

      • Hackage: semigroupoids-5.3.1

        • 追加されたインスタンス
          • Bind Min, Bind Max, Bind First, Bind Last, Bind Dual, Bind Sum, Bind Product, Bind Sum, Bind Down
          • Bind f => Bind (Alt f)
          • Bind (V1 :: * -> *)
  2. Monad

  3. MonadFail

  4. MonadFix

    • base: Control.Monad.Fix

    • "Typeclassopedia: 8 MonadFix"

      • 注意

        Note: MonadFix is included here for completeness (and because it is interesting) but seems not to be used much. Skipping this section on a first read-through is perfectly OK (and perhaps even recommended).

タイムスケジュール

時刻 内容
22:00 ~ 23:20 もくもく会
23:20 ~ 23:30 次回の案内

備考

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

資料 資料をもっと見る/編集する

資料が投稿されると、最新の3件が表示されます。

フィード

lawtwai

lawtwai さんが "Typeclassopedia+α" オンラインもくもく会#6 を公開しました。

2018/11/03 00:36

"Typeclassopedia+α" オンラインもくもく会#6 を公開しました!

グループ

終了

2018/11/09(金)

22:00
23:30

募集期間
2018/11/03(土) 00:30 〜
2018/11/09(金) 23:30

会場

Discord

Discord

管理者

参加者(3人)

lawtwai

lawtwai

"Typeclassopedia+α" オンラインもくもく会#6 に参加を申し込みました!

usami-k

usami-k

"Typeclassopedia+α" オンラインもくもく会#6に参加を申し込みました!

fishii

fishii

"Typeclassopedia+α" オンラインもくもく会#6 に参加を申し込みました!

参加者一覧(3人)