、それは本当に私は長い時間モナド変換子のユーザー、初めてモナド変換子のライターをしています

Question

非常に多くのハードコードされたインスタンスを必要としません....そして私は、私は不必要な何かをやったような気がします。

私たちは複数のDBテーブルを持つプロジェクトに取り組んでおり、異なるモナド・スタックにセットをハードコーディングするのは扱いにくくなっていたので、プラグイン可能なモナド・トランスフォーマーに分割して、レベルは、このように

doSomething::(HasUserTable m, HasProductTable m)=>Int->m String 

（HasXTableはコンクリートモナド変圧器です）。これらの独立したモナド・トランスは完全にモジュラー形式で挿入または削除でき、DBハンドルを格納し、ResourceTなどを必要とします。

私の最初の試みは、保持するのに使用されるReaderTをラップすることでしたDBハンドル。 ReaderT（およびStateTなど）は、ハードコードされた "リフト"のチェーンを使用せずに積み重ねることができず、スタック要素のプラガブルなモジュール性が破られるため、これがうまくいかないことがすぐに分かりました。

唯一の解決策は、ReaderTモナドのコピーを完全に別々に書くことであり、それぞれがより低いレベルの他のものへのアクセスを可能にするということでした。これは動作しますが、解決策は、定型的なコードで満たされ、これはさらに悪くなりますこれは何

class HasUserTable m where 
    getUser::String->m User 

newtype UserTableT m r = UserTableT{runUserTableT::String->m r} 

--Standard monad instance stuff, biolerplate copy of ReaderT 
instance Functor m=>Functor (UserTableT m) where.... 
instance Applicative m=>Applicative (UserTableT m) where.... 
instance Monad m=>Monad (UserTableT m) where.... 
instance Monad m=>HasUserTable (UserTableT m) where.... 

--Gotta hardcode passthrough rules to every other monad transformer 
--in the world, mostly using "lift".... 
instance MonadTrans BlockCacheT where.... 
instance (HasUserTable m, Monad m)=>HasUserTable (StateT a m).... 
instance (HasUserTable m, Monad m)=>HasUserTable (ResourceT m).... 
.... etc for all other monad transformers 

--Similarly, need to hardcode passthrough rules for all other monads 
--through the newly created one 
instance MonadResource m=>MonadResource (UserTableT m) where.... 
instance MonadState a m=>MonadState a (UserTableT m) where.... 
instance (MonadBaseControl IO m) => MonadBaseControl IO (UserTableT m).... 
.... etc for all other monad transformers 

のようなものは、我々が追加それぞれの新しいモナド変換（IE-それぞれの新しいテーブルのためにさらに多くのパススルールールを追加する必要があるということです私たちは、他のすべてのテーブルのモナド変圧器をパススルーする必要性を追加し、私たちは、n^2インスタンス宣言を必要とする！）

これを行うにはクリーンな方法はありますか？

Answer 1

これは、モナド変圧器の問題の1つです。新しい変圧器を追加する場合、ますます多くの定型文例を書き込む必要があります。毎回nのインスタンスであり、合計でO（n^2）インスタンスです。たとえば、このスケーリングの問題in the mtl source codeを見ることができます。モナド変圧器は容易に拡張できません。

ここでは、私たちが毎日使っているモナドの割合は、mtlで提供されているトランスの組み合わせとして表現できます。つまり、他の誰かがすでに退屈なインスタンスをすべて書き込んでいます。しかし、これらの変圧器は確かにすべてののモナドをカバーしていないので、自分で作成する必要があるときはいつもかまいません。

これは、タイピングを効果的に行うための新しいアプローチを考案するために継続的に取り組まれている理由です。 Haskellの良い例は、フリーモナドに基づいて、入力を代入する代数的アプローチをとるKiselyovなどのextensible-effects libraryです。このライブラリの設計は、という2つの記事に記載されています。これはmtlのアプローチの問題を記述するのに時間を費やし、More Extensible Effectsはライブラリの更新され最適化された実装について説明しています。

安全で拡張可能なエフェクトタイピングがどれだけ可能かを確認したい場合は、Idwin言語のEdwin Bradyのeffects libraryを参照してください。 effects：tutorial、元のProgramming and Reasoning with Algebraic Effectsの記事、Resource-dependent Algebraic Effectsの説明には、effectsという新しい機能が説明されています。おそらく、私がこのリストで忘れてしまったいくつかのリソースがあります。