Monad Transformer
#プログラミング
#型
#モナド
はじめての Monad, Monad Transformer, Extensible Effects
Monad Transformer とは、2 つの異なる Monad を合成する際に、片方の Monad を固定することで Monad を合成できるようにする手法である。
~
しかし、合成する Monad の数が多くなると型のネスト数が増えていき、以下のように liftF などのメソッドを多用した型合わせゲームとなってしまう。
このような Monad Transformer の欠点を解決するための方法が
Extensible Effects
(Eff) である。