无限列表上的Kleisli合成与折叠

Question

在试图使用Haskell定义从连接通道读取的无限循环时，我遇到了一个想法，即使用单子的Kleisli组合折叠一个无限的部分应用函数列表。这个想法似乎很合理，也很简单，但我遇到了一个奇怪的场景，显然无限列表正在被评估，而不是等待输入。

loop :: Int -> IO Int
loop s = (foldr (<=<) return (repeat process)) s

process :: Int -> IO Int
process i = do
    putStrLn $ show i
    x <- getLine
    return $ i + 1

main = loop 0

Answer 1

你不能从一个无限的列表的末尾开始访问它--没有尽头。

您编写构建

action0 <=< (action1 <=< (action2 ....))

它具有正确的关联性，但是x<= （粗略地说）在 x之前运行 y。

cons x xs = x : xs
snoc x xs = xs ++ [x]

foldr cons [] [1..] = [1..]
foldr snoc [] [1..] = _|_

在一元情况下，事情更复杂，但一般原则的精神是相似的。使用foldr(<=<)return（repeat action)类似于

loop x = do
   x' <- loop x
   action x'

相反，foldr(>=>)return（repeat action)类似于

loop x = do
   x' <- action x
   loop x'