"Typeclassopedia+α" オンラインもくもく会#10
イベント内容
概要
主に "Typeclassopedia" に掲載されている型クラスを理解するためのもくもく会です.
毎回指定した型クラスに関する "Typeclassopedia" の内容や,型クラスに関する記事を読んだり,モジュール等で定義されている関数を確認したりソースコードを読んだりすることを各自で行います.
日時
- 毎週金曜日 22:00 ~ 23:30
- 題材によっては,早めに終えることがあります
- 2018 年内は,12/7, 12/14, 12/21 の残り3回を予定しています
進め方
-
題材
- 毎回,対象とする型クラスを指定します
- 必ずしも "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
(Applicative
関連だけど...)
以下は,2019年を予定
-
Alt
,Plus
,Alternative
,MonadPlus
,Decidable
-
Foldable
,Foldable1
,Bifoldable
Traversable
,Traversable1
,Bitraversable
,Distributive
-
Semigroupid
,Category
-
Arrow
関連
(備考) 一部型クラス名を変更する議論: semigroupoids issue#26
想定する参加者
-
型クラスの関係を確認したい方
-
ある型クラスで,どのようなメソッドが定義されているのかを確認したい方
-
ある型クラスのメソッドが,どのように実装されているのかを確認したい方
第10回の内容
注意
-
Comonad
関連は,base
には導入されていません -
次回も
Comonad
関連です
扱う型クラスと題材例
-
"Comonad", "ComonadApply"
-
comonad: Control.Comonad
- Hackage
comonad-5.0.4
- Hackage
-
"Comonads in Haskell" (David Overton, 20140703, SlideShare)
- 簡潔
-
"Categories for Programmers: Ch23 Comonads" (Bartosz Milewski, 20170102, Blog)
-
詳説
-
"Comonads in Haskell" の後に読むと理解しやすいかもしれません
-
-
"コモナドを使った抽象化の威力をライフゲームで試してみた" (lotz, 20180319, Qiita)
-
"Declarative UIs are the Future — And the Future is Comonadic!" (Phil Freeman, 2017, PDF)
purescript-react-explore
(Phil Freeman, 2017-, GitHub, 上記の実装例)
-
"FP-Course-ITMO: Lecture 13: Comonads" (Arseniy Seroka, Slides, slide)
- まとめ的な内容 (上掲のものと重複あり)
-
タイムスケジュール
時刻 | 内容 |
---|---|
22:00 ~ 23:20 | もくもく会 |
23:20 ~ 23:30 | 次回の案内 |
備考
- Typeclassopedia の内容は不定期更新されているため,毎回最新版のものを利用します
注意事項
※ 掲載タイミングや更新頻度によっては、情報提供元ページの内容と差異が発生しますので予めご了承ください。
※ 最新情報の確認や参加申込手続き、イベントに関するお問い合わせ等は情報提供元ページにてお願いします。