新機能 有料(前払い)イベントにおいて、参加費の領収データ発行が可能になりました。詳しくは こちら をご覧ください

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

12月

21

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

今までのまとめ

Registration info

参加枠1

Free

Attendees
3

Description

概要

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

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

日時

  • 毎週金曜日 22:00 ~ 23:30
  • 題材によっては,早めに終えることがあります
  • 2018 年内は,今回が最後です.
  • 2019 年は 1/11 から始める予定です.お疲れ様でした,良いお年を.

進め方

  • 題材

    • 毎回,対象とする型クラスを指定します
    • 必ずしも "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

以下は,2019年を予定

  • Alt, Plus, Alternative, MonadPlus, Decidable

  • Foldable, Foldable1, Bifoldable

  • Traversable, Traversable1, Bitraversable, Distributive, Witherable
  • Semigroupid, Category

  • Arrow 関連

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

想定する参加者

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

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

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

第12回の内容

扱う型クラスと題材例

  • これまで扱った型クラス

    • やり残した型クラス

    • もう少し深めたい型クラス

タイムスケジュール

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

備考

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

Media View all Media

If you add event media, up to 3 items will be shown here.

Feed

lawtwai

lawtwai published "Typeclassopedia+α" オンラインもくもく会#12.

12/14/2018 23:30

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

Group

Ended

2018/12/21(Fri)

22:00
23:30

Registration Period
2018/12/14(Fri) 23:00 〜
2018/12/21(Fri) 23:30

Location

Discord

Discord

Organizer

Attendees(3)

fishii

fishii

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

lawtwai

lawtwai

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

usami-k

usami-k

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

Attendees (3)