Monad Transformer
ライブラリ
入門／チュートリアル
- Maybe と IO を一緒に使いたくなったら - ryota-ka’s blog
- モナドトランスフォーマーとその周辺
- Haskell モナド変換子 超入門
- モナドトランスフォーマー・ステップ・バイ・ステップ
- A Gentle Introduction to Monad Transformers
- モナモナ言うモナド変換子入門
- モナドとモナド変換子のイメージを描いてみた
- Monad transformers
- 入門 StateTモナド
- IO (Maybe a)というタイトルでモナド変換子について学んだことを話した - #LT駆動
- IO (Maybe String)を触ってみる
- Haskellモナドトランスフォーマー(1)
- Monad transformer
- モナド変換子(その１: 基本） - Qiita
- モナド変換子 (その２:課題を通じてライブラリに触れてみる) - Qiita
- モナド変換子 (その3: 課題の解答) - Qiita
- AceHack-Practical Monad Transformers
- A brief intro to MTL / Jappie
- Monad Transformers – Part 1: An Introduction
MonadControl/MonadTransUnlift
MonadTransのliftがモナドをモナドスタックの中で実行できるようにするのとは逆に、モナドスタックをベースとなるモナドの中で実行する仕組みを提供する。
- Unlifting in 2 minutes
- モナドトランスフォーマーとmonad-control
- monad-control
- lifted-base
- MonadBaseControl in Five Minutes
- Announcing: monad-unlift
- Announcing: the new unliftio library
- Understanding unliftio | fbrs
- unliftioをなるべくわかりやすく紹介してみます - Qiita
圏論
- Monad transformer
- Adjunction からの monad transformer
- Monad からの monad transformer
- Proper Treatment 正當作法/blog/posts/Monad transformers
モナド準同型
- The mmorph package
- モナドモナド (LT没ネタ)
- ZuriHac 2016: Monad Homomorphisms
- テンソル積の作り方
- テンソル積の作り方 2： 双加群の場合、小さい圏の場合
Others
- Wrangling Monad Transformer Stacks
- ContEitherT
- Monad transformers, free monads, mtl, laws and a new approach
- Lifts for free: making mtl typeclasses derivable
- Edward Kmett - Monad Transformer Lenses
- Enterprise Haskell Pattern: Lensed Reader
- The ObserverT monad transformer [check for interest]
- Refactoring to a Monad Transformer Stack
- list-transformer - A beginner-friendly ListT
- Clean Alternatives with MaybeT
- John A De Goes: MTL Versus Free Deathmatch - λC 2016 - YouTube
- Monad Transformer Workshop
- If you’re using lift, you’re doing it wrong (probably)
- A Tale of Two Brackets
- A tale of two Monads: Free vs MTL | Front Row
- lexi-lambda/mtl-style-example - A small example of using mtl style to unit test effectful code
- Monad Transformer State - Michael Snoyman
- モナドをラップする話
- Ether - Monad Transformers and Classes
- Monad transformers and comonad transformers
- Haskell Application Monad
- Monad Transformer State - Michael Snoyman - YouTube
- いろいろなパッケージから提供されている ListT モナド変換子の違いについて調べてみる - 無駄と文化
- The Comonad.Reader » Monads from Comonads
- Transforming Transformers
- ResourceT: A necessary evil
- resource-simple
- RAII is better than the bracket pattern
- Monadic yak shaving
- Monatron
- Documentation.Layers.Overview
- Mocking Effects using Constraints and Phantom Data Kinds
- Tweag I/O - capability: the ReaderT pattern without boilerplate
- High-Performance Functional Programming Through Effect Rotation – John A De Goes
- ReaderT パターン(翻訳) - LugendrePublic
- Final Tagless vs Free Monad - Google スライド
- 【Control.Monad.Trans】(1) Identityモナド - Qiita
- 【Control.Monad.Trans】(2) StateTモナド - Qiita
- 【Control.Monad.Trans】(3) ExceptTモナド - Qiita
- 【Control.Monad.Trans】(4) ReaderTモナド - Qiita
- 【Control.Monad.Trans】(5) IOモナド - Qiita
- Monad Transformers and Effects with Backpack
- 順を追って理解する MaybeT モナドの使い方
- [1604.01184] Eilenberg–Moore Monoids and Backtracking Monad Transformers
- [1207.3208] Formal Verification of Monad Transformers