我无法理解这个:
假设t
隐藏在Reader Monad内。
我可以使用ask
来获取它:
do
x <- ask
...
将隐藏值解压到x
现在我试图理解 >>=
会做什么,但我很挣扎。
你能给我解释一下吗?
这是我的尝试:
f = \x -> x
ask >>= (\x -> return x)
= Reader $ \r -> f (ask (r)) r
{ using the fact that ask is identity }
= Reader $ \r -> f(r) r
但是,我不明白这是如何获得隐藏值的
最佳答案
我认为要点是,Reader
内部实际上没有隐藏任何东西 - 相反,它是一个函数 - 并且您的隐藏值进入当您运行阅读器时的阶段(这是您向阅读器展示隐藏值并让它评估某些输出的时候)。
重新审视定义
让我们稍微简化一下,假设我们的 Reader
Monad 的结构定义如下:
data Reader h a = Reader { run :: h -> a }
这意味着您的隐藏值将具有某种类型h
,而Reader
只是一个生成其他值(类型为a
) 从出现这样的值时开始。
正如您所看到的,根本没有隐藏任何值 - 您必须在使用 run
运行 Reader
时自己提供它
这是一个例子:
showInt :: Reader Int String
showInt = Reader show
你会像这样使用它
λ> run showInt 5
"5" -- has type :: String
使其成为 Monad
Monad 实例基本上就是这样(您还必须为 Applicative
和 Functor
提供实例,我将跳过)
instance Monad (Reader h) where
return v =
Reader (const v)
r >>= f = Reader $ \ h ->
let v = run r h
r' = f v
in run r' h
请注意,您如何再次等待,直到有人为您提供 h
(通过调用 run
),然后:
- 首先使用
run r h
从读取器中获取值v
- 使用此
v
获取另一个阅读器f'
- 最终通过使用相同
h
运行该读取器来获取该读取器的值:run r' h
什么是询问
正如你所说:这只是使用id
的阅读器 - 它会在运行时重现给定的值:
ask :: Reader h h
ask = Reader id
你的问题
现在我们终于可以解决这个问题了:
如果我们运行会发生什么
let r = ask >>= (\x -> return x)
好吧,让我们在下面添加一个“Hello”:
run r "Hello"
{ def r }
= run (ask >>= return) "Hello"
{ def >>= }
= run (\h ->
let v = run ask h
r' = return v
in run r' h) "Hello"
{ def run: plug "Hello" into h }
= let v = run ask "Hello"
r' = return v
in run r' "Hello"
{ ask = Reader id - so run ask "Hello" = "Hello" -> v = "Hello" }
= let r' = return "Hello"
in run r' "Hello"
{ simplify }
= run (return "Hello") "Hello"
{ r' = const "Hello" = \ _ -> "Hello" }
= (\ _ -> "Hello") "Hello"
{ apply }
= "Hello"
法律
顺便说一句:这样的结果是一件好事,因为其中一条单子(monad)法则(Haskell 应该成立但不强制执行)规定:
m >>= return == m
这意味着您的读者询问>>= return ==询问
这会让这一切变得更容易;)
关于haskell - 为什么询问从 Reader monad 检索环境,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/36463988/