Reader monad 的“询问”功能是如何工作的？

Question

data T b = E | N b (T b) (T b) 


f :: T b -> Reader Int (T Int)
f (N i l r) = ask >>= \x ->  local ((-)4) (f l) >>= \l' -> local ((-)1) (f r) >>= \r' -> return (N x l' r')
f E = return E

我无法理解这段代码的工作原理。特别是，ask 如何知道环境在哪里（在我们的例子中只是Int）？

更准确地说：我是一名命令式程序员，使用这种语言很容易。可以在任何对象上调用方法，例如：obj.f()，或者当我们希望函数使用外部数据时，我们必须通过参数传递数据。

Answer 1

这就是 Reader monad 所做的；它为您提供了一个ask 函数，它“神奇地”凭空弹出一个值。要真正使用这个，您需要调用runReader，并为其提供Int 环境。然后，Reader 类型会自动将 runReader 调用中的内容传播到每个 ask 调用。

Answer 2

简短、挥手的回答。 Reader Int (T Int) 值本质上只是 Int -> (T Int) 类型的封装函数。为了运行该函数，我们首先需要提取它。我们使用runReader 来做到这一点。

data T b = ... deriving (Show)

main = let tree = (N 10 (N 8 E E) E)
           g = f tree
           h = runReader g
       in print $ h 20

（通常，您只需写print $ runReader (f tree) 20；我将其拆分为对应于下面的粗略类比。）

ask（由MonadReader 类型类定义，并由用于定义Reader 类型的ReaderT monad 转换器实现）实质上检索传递给h 的参数值。

在某种意义上，Reader Int (T Int) 是一个对象，其中包含一个函数 g，该函数调用一个函数 ask。 runReader g 创建一个新函数，在调用该函数时，它定义了一个函数ask，它只返回其参数，然后调用g。现在当g 调用ask 时，它会取回最初传递给h 的参数。