Monad.Readerと（->）モナドの違いは何ですか？

debugcn 投稿 Dev

翔や

Monad.Readerは、実際には関数のカプセル化であることがわかりました。

newtype Reader r a = Reader { runReader :: r -> a }

これはモナドのインスタンスになります、

instance Monad (Reader r) where
    return a = Reader $ \_ -> a
    m >>= k  = Reader $ \r -> runReader (k (runReader m r)) r

対照的に、私は（->）もモナドであることを知っていました。

instance Monad ((->) r) where
    return = const
    f >>= k = \ r -> k (f r) r

定義から、それらが実際にまったく同じように動作することがわかります。

それで、それらはすべての使用法で交換可能ですか？そして、これら2つのモナドを異なることの実際の重要性は何ですか？

ゼータ

TL; DR

それらは同じです。

いくつかの歴史のレッスン

State、WriterおよびReaderマークP.ジョーンズのオーバーロードと高階ポリモーフィズムを使用した関数型プログラミングに触発されました。彼Readerは次のように定義しました。

Readerモナドは、（タイプで表されるいくつかの囲み環境で保持された値にアクセスするための演算できるようにするために使用されるr以下の定義では）。
> instance Monad (r->) where
>     result x = \r -> x
>     x `bind` f = \r -> f (x r) r
通過するコメントとして、これらの2つの関数は、コンビネータ論理の標準KおよびSコンビネータにすぎないことに注意してください。

後で、彼は（ほぼ）今日のことを定義しますMonadReader：

Reader monads ：いくつかの固定環境を参照する計算を記述するためのモナドのクラス：
> class Monad m => ReaderMonad m r where
>     env :: r -> m a -> m a
>     getenv :: m r

> instance ReaderMonad (r->) r where
>     env e c = \_ -> c e
>     getenv = id

getenvは単にask、であり、envですlocal . const。したがって、この定義には、のすべての重要な部分がすでに含まれていReaderます。最終的に、ジョーンズはモナド変換子を定義しますReaderT（BComp後方構成です）。

まず、2つの異なる形式の構成を定義すると便利です。前方（FComp）および後方（BComp）：
> data FComp m n a = FC (n (m a))
> data BComp m n a = BC (m (n a))
[Functor、Monad、OutOfインスタンスを省略]
> type ReaderT r = BComp (r ->)

以来StateT、WriterTなどがその非トランスバリアントを持っていた、持っている唯一の論理的だったReader r本当に同じです、(->) r。

どちらの方法が、最近はReader、WriterおよびStateそのトランスバリアントで定義されている、とあなたは、それぞれの使用Monad*型クラスを（MonadReader）。

結論

それで、それらはすべての使用法で交換可能ですか？

はい。

そして、これら2つのモナドを異なることの実際の重要性は何ですか？

なし。ただし、ReaderT実際にはモナド変換子であるため、作業が簡単になります。

この記事はインターネットから収集されたものであり、転載の際にはソースを示してください。

侵害の場合は、連絡してください[email protected]

編集2021-05-28

コメントを追加

サインイン

分類Dev

Related 関連記事

記事