2月
15
"Typeclassopedia+α" オンラインもくもく会#17
`Bifoldable`, `Bifoldable1`, fold 関連のパッケージ(ライブラリ)
イベントの説明
概要
主に "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
-
[済] Parser combinators
-
[済]
Foldable
,Foldable1
-
今回
Bifoldable
,Bifoldable1
,foldl
とmono-traversable
(の一部) -
Traversable
関連?Traversable
,Traversable1
Bitraversable
,Bitraversable1
,Distributive
Witherable
,Compactable
-
Semigroupoid
,Category
-
Arrow
関連
(備考) 一部型クラス名を変更する議論: semigroupoids issue#26
想定する参加者
-
型クラスの関係を確認したい方
-
ある型クラスで,どのようなメソッドが定義されているのかを確認したい方
-
ある型クラスのメソッドが,どのように実装されているのかを確認したい方
第17回の内容
題材例
-
Bifoldable
関連-
base
:Data.Bifoldable
-
semigroupoids
:Data.Semigroup.Bifoldable (Bifoldable1)
-
-
その他の
fold
関連パッケージ (ライブラリ)-
foldl
:Control.Foldl
-
mono-traversable
:Data.MonoTraversable (MonoFoldable)
-
タイムスケジュール
時刻 | 内容 |
---|---|
22:00 ~ 23:20 | もくもく会 |
23:20 ~ 23:30 | 次回の案内 |
備考
- Typeclassopedia の内容は不定期更新されているため,毎回最新版のものを利用します
資料 資料をもっと見る/編集する
資料が投稿されると、最新の3件が表示されます。