haskell - 为什么询问从 Reader monad 检索环境

Question

我无法理解这个:

假设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 

但是，我不明白这是如何获得隐藏值的

Answer 1

我认为要点是，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 ==询问

这会让这一切变得更容易;)