mtl、transformers、monads-fd、monadLib、および選択したパラドックス

Hackageにはモナド変換のためのいくつかのパッケージがあります：

• mtl：モナド変換ライブラリ
• トランスフォーマー：コンクリートファンクターおよびモナドトランスフォーマー
• monads-fd：関数の依存関係を使用するモナドクラス
• monads-tf：タイプファミリーを使用するモナドクラス
• monadLib：モナド変換子のコレクション。
• mtl-tf：タイプファミリーを使用するモナド変換ライブラリ。
• mmtl：モジュラーモナド変換ライブラリ
• mtlx：タイプインデックス付きのモナド変換ライブラリ。「無料」のコピーを提供します。
• compose-trans：合成可能なモナド変換子

（そしておそらく私はいくつかを逃した）

どれを使用しますか？

mtlはHaskellプラットフォームの1つですが、redditはクールではないと聞いています。

とにかく、選択の何が悪いのですか、それはただ良いことではありませんか？

ええと、たとえば、データアクセサーの作成者がこれらすべてを、人気のある選択だけに応えるために作成しなければならない方法を見ました。

• data-accessor-monadLibライブラリ：monadLibのモナドのアクセサ関数
• data-accessor-monads-fdライブラリ：アクセサを使用してモナドfd状態モナドクラスの状態にアクセスする
• data-accessor-monads-tfライブラリ：アクセサーを使用してモナドtf状態モナドタイプファミリーの状態にアクセスする
• data-accessor-mtlライブラリ：Accessorを使用してmtl Stateモナドクラスの状態にアクセスする
• data-accessor-transformersライブラリ：アクセサーを使用してトランスフォーマーの状態モナドの状態にアクセスする

これが続き、たとえばいくつかの競合するArrowパッケージが進化した場合、spoonklink-arrows-transformers、spoonklink-arrows-monadLib、spoonklink-tfArrows-transformers、spoonklink-tfArrows-monadLib、...のように見えるかもしれません。

そして、spoonklinkがフォークされると、Hackageがディスク領域を使い果たしてしまうのではないかと心配しています。:)

質問：

• なぜそれほど多くのモナド変換パッケージがあるのですか？
• なぜmtlはクールでないと考えられていますか？
• 主な違いは何ですか？
• これらの競合しているように見えるパッケージのほとんどは、Andy Gillが作成し、Ross Patersonが保守しています。これは、これらのパッケージが競合しているのではなく、何らかの方法で連携していることを意味しますか？AndyとRossは、独自のパッケージを廃止されたと見なしていますか？
• あなたと私はどちらを使うべきですか？

それらの束はほぼ完全に同等です：

• mtlGHC拡張を使用しますtransformersが、Haskell 98です。
• monads-fdそして、monads-tfアドオンさにtransformers、両方ともに機能を提供、それぞれの機能の依存関係およびタイプ・ファミリーを使用してmtlから行方不明だということをtransformers。
• mtl-tfされたmtlタイプの家族を使用して再実装。

つまり、本質的にmtl== transformers++ monads-fd、mtl-tf== transformers++ monads-tfです。transformersとその関連パッケージの移植性とモジュール性が改善されたことmtlが、最近はクールでない理由だと思います。

mmtlそしてmtlx両方ともに類似および/またはに基づくように見えるmtlAPIの違いや余分な機能を持ちます、。

MonadLib問題についてはかなり異なった見方をしているようですが、私はそれについてはあまり詳しくありません。また、他のものより多くのGHC拡張を使用しているようです。

一見するcompose-transと、モナド変換子を作成するためのメタプログラミングのようなものです。それは互換性がControl.Monad.Transあると主張しています...私はおそらく意味mtlですか？

とにかく、次の決定アルゴリズムをお勧めします。

• 新しいプロジェクトに標準モナドが必要ですか？transformers＆co。を使用して、私たちがmtl休むのを助けてください。
• すでにmtl大規模なプロジェクトで使用していますか？transformersは完全には互換性がありませんが、切り替えなかったために殺されることはありません。
• 他のパッケージの1つが、必要な異常な機能を提供していますか？自分でロールするのではなく、使用することもできます。
• まだ満足していませんか？それらをすべて破棄し、ダウンロードしてcategory-extras、1ページと理解できない抽象的なナンセンスな息をのむほど一般的なコードの半分で、世界中のすべての問題を解決します。

今のところは？おそらく使用する必要がありますmtl。何が起こっていることはということであるtransformersライブラリがファッションにMTLの因数分解されることmonads-fdとmonads-tf共存平和的に、まだそうではありませんでした最後のチェックですることができます。

これが発生すると、などのがのエイリアスになることを除いて、（ほぼ）同じインターフェースをインポートmonads-fdしtransformersて取得できます。StateStateT

したがって、私はに書き込みますがmtl、State、Readerなどが現在s dataに置き換えられることになっているという事実には依存しませんtype。

MonadLib Iavorが取り組んでいるもう1つの方法は、他のモジュールとモジュール名を共有しないため安全に使用できますが、使用パターンはかなり異なります。

エドワード・クメットが彼の回答で言及した要素の除外は2010年後半に完了しました。その最終結果は、トランスフォーマー上に構築されたモナドfdで、バージョン2のmtlになりました。偏在の結果としてMTL、モナド-TFは本当に上のキャッチはありません。2017年の初めの時点では、mtlとトランスフォーマーのみが広く使用されているモナドトランスフォーマーライブラリです。