概要

主に "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, fold 関連ライブラリ (パッケージ)

• Traversable 関連?

  1. [済]Traversable, Traversable1
  2. [済] Bitraversable, Bitraversable1
  3. [済] Distributive, mono-traversable
  4. [済] Witherable, Compactable (番外: Selective)

• [済] Semigroupoid, Category

• Arrow 関連

  • [済] Arrow

  • [済] ArrowZero, ArrowPlus, ArrowChoice, ArrowApply, ArrowLoop

  • 今回, 最終 その他

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

想定する参加者

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

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

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

第25回の内容

最終回 です。

題材例

arrow (の概念)が(一部)関連していると思われるライブラリ・パッケージ

• (注) メンテナンスがされている、ドキュメントが完備されている、使い勝手がいいとは限りません

• Simulation

  • aivika

    Aivika is a discrete event simulation (DES) framework with support of activity-oriented, event-oriented and process-oriented paradigms

    • "Aivika:Computation-based Modeling and Simulation in Haskell"(David E. Sorokin, 2018-02-10, PDF): (注意) 150ページ

• FRP (Arrowized FRP)

  • Yampa

    Domain-specific language embedded in Haskell for programming hybrid (mixed discrete-time and continuous-time) systems. Yampa is based on the concepts of Functional Reactive Programming (FRP) and is structured using arrow combinators

    • "YampaでFunctional Reactiveな認知行動療法ボット" (makoraru, 2018-01-01, Qiita)

      • 実装 (nishiuramakoto, cbt-slack-bot, github)

    • "Haskellプログラミング講座（上級編：ゲーム）" (2014-10-18 ~ 2015-07-30, bitterharvest, blog): Yampa, netwire などの例が記載されているようです

  • machinecell

    Stream processing library similar to pipes, couduit, or machines.

    Arrow combinatins are supported and can be used with the arrow notation. AFRP-like utilities are also available.

    • "Arrow化pipeはFRPの夢を見るか？" (as_capabl, 2014-07-01, Qiita)

  • dunai

    Dunai is a DSL for strongly-typed CPS-based composable transformations.

    Dunai is based on a concept of Monadic Stream Functions (MSFs). MSFs are a generalisation of the implementation mechanism used by Yampa, Wormholes and other FRP and reactive implementations. ... . MSFs can be used to implement many FRP variants, including Arrowized FRP, Classic FRP, and plain reactive programming. Arrowized and applicative syntax are both supported.

    • "Functional Reactive Programming, Refactored"(2016-07-12, Paper): very detailed introduction to MSFs

• SQL (PostgreSQL)

  • opaleye

    An SQL-generating DSL targeting PostgreSQL.

    Allows Postgres queries to be written within Haskell in a typesafe and composable fashion

    • "Basic tutorial"
    • "Manipulation tutorial"

• その他 (ワークフロー?)

  • funflow

    An arrow with resumable computations and logging

    • "Funflow: typed resumable workflows" (Tweag I/O, 2018-04-25, blog)

タイムスケジュール

備考

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