読者モナドはとても複雑で役に立たないようです。JavaやC ++のような命令型言語では、私が誤解しない限り、リーダーモナドには同等の概念はありません。
簡単な例を挙げて、これを少し明確にしていただけますか?
読者モナドはとても複雑で役に立たないようです。JavaやC ++のような命令型言語では、私が誤解しない限り、リーダーモナドには同等の概念はありません。
簡単な例を挙げて、これを少し明確にしていただけますか?
回答:
怖がらないで!リーダーモナドは実際にはそれほど複雑ではなく、実際に使いやすいユーティリティを備えています。
モナドに近づく方法は2つあります。
最初のアプローチから、リーダーモナドは抽象的なタイプです
data Reader env a
そのような
-- Reader is a monad
instance Monad (Reader env)
-- and we have a function to get its environment
ask :: Reader env env
-- finally, we can run a Reader
runReader :: Reader env a -> env -> a
それでは、これをどのように使用しますか?さて、readerモナドは、計算を通じて(暗黙の)構成情報を渡すのに適しています。
さまざまな時点で必要な計算に「定数」があるが、実際には異なる値で同じ計算を実行したい場合は、リーダーモナドを使用する必要があります。
リーダーモナドは、オブジェクト指向の人々が依存性注入と呼ぶものを実行するためにも使用されます。たとえば、negamaxアルゴリズムは、2プレーヤーゲームのポジションの値を計算するために(高度に最適化された形式で)頻繁に使用されます。ただし、アルゴリズム自体は、ゲームの「次の」位置を判別できる必要があり、現在の位置が勝利位置であるかどうかを判別できる必要があることを除いて、プレイしているゲームを気にしません。
import Control.Monad.Reader
data GameState = NotOver | FirstPlayerWin | SecondPlayerWin | Tie
data Game position
= Game {
getNext :: position -> [position],
getState :: position -> GameState
}
getNext' :: position -> Reader (Game position) [position]
getNext' position
= do game <- ask
return $ getNext game position
getState' :: position -> Reader (Game position) GameState
getState' position
= do game <- ask
return $ getState game position
negamax :: Double -> position -> Reader (Game position) Double
negamax color position
= do state <- getState' position
case state of
FirstPlayerWin -> return color
SecondPlayerWin -> return $ negate color
Tie -> return 0
NotOver -> do possible <- getNext' position
values <- mapM ((liftM negate) . negamax (negate color)) possible
return $ maximum values
これは、有限で確定的な2プレイヤーゲームで機能します。
このパターンは、依存関係の注入ではない場合にも役立ちます。あなたが財務で働いているとしましょう。あなたは資産の価格付けのためにいくつかの複雑なロジックを設計するかもしれません(デリバティブは言います)。しかし、その後、複数の通貨を処理するようにプログラムを変更します。その場で通貨を変換できる必要があります。最初の試みはトップレベルの関数を定義することです
type CurrencyDict = Map CurrencyName Dollars
currencyDict :: CurrencyDict
スポット価格を取得します。その後、コードでこのディクショナリを呼び出すことができます。それはうまくいきません!通貨ディクショナリは不変なので、プログラムの存続期間だけでなく、コンパイルされるときから同じでなければなりません。それで、あなたは何をしますか?まあ、1つのオプションはReaderモナドを使用することです。
computePrice :: Reader CurrencyDict Dollars
computePrice
= do currencyDict <- ask
--insert computation here
おそらく最も古典的な使用例は、インタープリターの実装です。しかし、それを見る前に、別の機能を導入する必要があります
local :: (env -> env) -> Reader env a -> Reader env a
そう、Haskellや他の関数型言語はラムダ計算に基づいています。ラムダ計算には次のような構文があります
data Term = Apply Term Term | Lambda String Term | Var Term deriving (Show)
この言語のエバリュエーターを書きたいと思います。そのためには、用語に関連付けられたバインディングのリストである環境を追跡する必要があります(静的スコープを実行するため、実際にはクロージャーになります)。
newtype Env = Env ([(String, Closure)])
type Closure = (Term, Env)
完了したら、値(またはエラー)を取得する必要があります。
data Value = Lam String Closure | Failure String
だから、インタプリタを書いてみましょう:
interp' :: Term -> Reader Env Value
--when we have a lambda term, we can just return it
interp' (Lambda nv t)
= do env <- ask
return $ Lam nv (t, env)
--when we run into a value, we look it up in the environment
interp' (Var v)
= do (Env env) <- ask
case lookup (show v) env of
-- if it is not in the environment we have a problem
Nothing -> return . Failure $ "unbound variable: " ++ (show v)
-- if it is in the environment, then we should interpret it
Just (term, env) -> local (const env) $ interp' term
--the complicated case is an application
interp' (Apply t1 t2)
= do v1 <- interp' t1
case v1 of
Failure s -> return (Failure s)
Lam nv clos -> local (\(Env ls) -> Env ((nv, clos) : ls)) $ interp' t2
--I guess not that complicated!
最後に、簡単な環境を渡すことで使用できます。
interp :: Term -> Value
interp term = runReader (interp' term) (Env [])
そして、それだけです。ラムダ計算のための完全に機能的なインタプリタ。
これについて考えるもう1つの方法は、次のように質問することです。答えは、リーダーモナドは実際にはすべてのモナドの中で最も単純で最もエレガントなものの1つであるということです。
newtype Reader env a = Reader {runReader :: env -> a}
リーダーは、関数のファンシーな名前です!すでに定義しているrunReader
ので、APIの他の部分についてはどうですか?まあ、すべてMonad
もFunctor
です:
instance Functor (Reader env) where
fmap f (Reader g) = Reader $ f . g
さて、モナドを取得するには:
instance Monad (Reader env) where
return x = Reader (\_ -> x)
(Reader f) >>= g = Reader $ \x -> runReader (g (f x)) x
怖くないです。ask
本当に簡単です:
ask = Reader $ \x -> x
local
そんなに悪くない間:
local f (Reader g) = Reader $ \x -> runReader g (f x)
さて、リーダーモナドは単なる関数です。なぜReaderがあるのですか?良い質問。実際には必要ありません!
instance Functor ((->) env) where
fmap = (.)
instance Monad ((->) env) where
return = const
f >>= g = \x -> g (f x) x
これらはさらに簡単です。しかも、ask
ただでid
とlocal
切り替え機能のためにだけ関数合成です!
Reader
、モナド型クラスの特定の実装を持つ関数ですか?以前にそれを言うことは私が少し戸惑うのを助けたでしょう。最初は私はそれを取得していませんでした。途中で、「ああ、不足している値を指定すると、望ましい結果が得られるものを返すことができる」と思った。それは便利だと思いましたが、関数がこれを正確に行うことに突然気づきました。
local
機能は、しかし、いくつかのより詳細な説明が必要ない...
(Reader f) >>= g = (g (f x))
か?
x
ますか?
読者モナドの亜種が至る所にあることを自分で発見するまで、あなたがそうであったように困惑したことを覚えています。どうやって見つけたの?小さなバリエーションであることが判明したコードを書き続けたからです。
たとえば、ある時点で、過去の値を処理するためのコードを書いていました。時間とともに変化する値。これの非常に単純なモデルは、ある時点からその時点の値までの関数です。
import Control.Applicative
-- | A History with timeline type t and value type a.
newtype History t a = History { observe :: t -> a }
instance Functor (History t) where
-- Apply a function to the contents of a historical value
fmap f hist = History (f . observe hist)
instance Applicative (History t) where
-- A "pure" History is one that has the same value at all points in time
pure = History . const
-- This applies a function that changes over time to a value that also
-- changes, by observing both at the same point in time.
ff <*> fx = History $ \t -> (observe ff t) (observe fx t)
instance Monad (History t) where
return = pure
ma >>= f = History $ \t -> observe (f (observe ma t)) t
Applicative
あなたが持っている場合は、そのインスタンス手段employees :: History Day [Person]
とcustomers :: History Day [Person]
、あなたがこれを行うことができます:
-- | For any given day, the list of employees followed by the customers
employeesAndCustomers :: History Day [Person]
employeesAndCustomers = (++) <$> employees <*> customers
すなわち、Functor
とApplicative
私たちは歴史と仕事に定期的、非歴史的な機能を適応することができます。
モナドインスタンスは、関数を検討することで最も直感的に理解できます(>=>) :: Monad m => (a -> m b) -> (b -> m c) -> a -> m c
。タイプの関数は、値の履歴にa -> History t b
マップする関数です。たとえば、あなたが持っている可能性があり、そして。したがって、のモナドインスタンスは、次のような関数の作成に関するものです。たとえば、は、すべてのについて、それらが持っていたの履歴を取得する関数です。a
b
getSupervisor :: Person -> History Day Supervisor
getVP :: Supervisor -> History Day VP
History
getSupervisor >=> getVP :: Person -> History Day VP
Person
VP
さて、このHistory
モナドは実際にはとまったく同じReader
です。 History t a
はReader t a
(と同じ)と実際に同じt -> a
です。
別の例:最近、HaskellでOLAPデザインのプロトタイプを作成しています。ここでの1つのアイデアは、「ハイパーキューブ」のアイデアです。これは、一連のディメンションの交差から値へのマッピングです。ああ、またか:
newtype Hypercube intersection value = Hypercube { get :: intersection -> value }
ハイパーキューブでの操作の一般的なものの1つは、ハイパーキューブの対応する点に複数の場所のスカラー関数を適用することです。これは、次のApplicative
インスタンスを定義することで取得できますHypercube
。
instance Functor (Hypercube intersection) where
fmap f cube = Hypercube (f . get cube)
instance Applicative (Hypercube intersection) where
-- A "pure" Hypercube is one that has the same value at all intersections
pure = Hypercube . const
-- Apply each function in the @ff@ hypercube to its corresponding point
-- in @fx@.
ff <*> fx = Hypercube $ \x -> (get ff x) (get fx x)
History
上記のコードをコピーペーストして名前を変更しました。あなたが言うことができるように、Hypercube
またですReader
。
それは何度も続きます。たとえば、Reader
このモデルを適用すると、言語インタープリターもに要約されます。
Reader
ask
Reader
実行環境。local
よく似ているのは、a がに「穴」があることをReader r a
表してa
いるため、a
私たちが何について話しているのかを理解できないことです。穴を埋めるためにa
an r
を指定して初めて実際の値を取得できます。そのようなものがたくさんあります。上記の例では、「履歴」は時間を指定するまで計算できない値、ハイパーキューブは交差を指定するまで計算できない値、言語式は次のことができる値です変数の値を指定するまで計算されません。また、そのような関数は直感的にが欠落しているためReader r a
、がと同じである理由についてr -> a
も直感的にa
理解できr
ます。
したがってFunctor
、Applicative
とのMonad
インスタンスは、「が欠けているReader
もの」のようなものをモデル化する場合に非常に便利な一般化であり、これらの「不完全な」オブジェクトを完全であるかのように扱うことができます。a
r
しかし、同じことを別の言い方は:Reader r a
消費するものだr
と生成a
、およびFunctor
、Applicative
およびMonad
インスタンスがで作業するための基本的なパターンですReader
秒。 Functor
= Reader
別のの出力を変更するa を作成しReader
ます。Applicative
= 2つReader
のを同じ入力に接続し、それらの出力を結合します。Monad
= aの結果を検査し、Reader
それを使用して別のを構築しReader
ます。local
そしてwithReader
機能=作るReader
別に入力を変更していますReader
。
GeneralizedNewtypeDeriving
導き出すために拡張子をFunctor
、Applicative
、Monad
その基礎となる型に基づいnewtypesのために、など。
JavaまたはC ++では、問題なくどこからでも任意の変数にアクセスできます。コードがマルチスレッドになると、問題が発生します。
Haskellでは、ある関数から別の関数に値を渡す方法は2つしかありません。
fn1 -> fn2 -> fn3
、関数fn2
はからfn1
に渡すパラメーターを必要としない場合がありますfn3
。Readerモナドは、関数間で共有したいデータを渡すだけです。関数はそのデータを読み取ることができますが、変更することはできません。これで、Readerモナドの処理は完了です。まあ、ほとんどすべて。のような機能もたくさんありますlocal
が、はじめてこだわることができますasks
。
do
-notationで記述していることを非常に簡単に見つけることができることです。
where
句によってその関数に付加されている場合、それは変数を渡す3番目の方法として受け入れられますか?