haskell - 对 lambda 的这种用法感到困惑

Question

所以我认为 Lambdas 就像 Learn You a Haskell 中展示的那样:

(filter (\xs -> length xs > 15) (map chain [1..100])) 

xs 的输入是从 (map chain [1..100])) 生成的列表
这很容易阅读。

所以这就是我感到困惑的地方，看看一些真实世界的代码(tm)。

这是一个来自
conduit

fmap f (ResourceT m) = ResourceT $ \r -> fmap f (m r)

r 的输入来自哪里？

Answer 1

r直到函数 \r -> fmap f (m r) 才会有值实际上被称为。在fmap的定义中，该函数永远不会被调用——它只存储在 ResourceT 中.然后可以稍后将其从 ResourceT 中取出。并打电话。那时 r会得到一个值。