Question

所以，基本上我有一些monadic函数包含在MaybeT我想用Nothing作为递归的终止案例

我对foldr的理解是，如果它可以在不使用整个列表的情况下生成结果，则可以安全地在无限列表中使用，即foldr (&&) True $ repeat False仍然能够返回False

目前我有：

repeaterM a f = foldr (=<<) (return a) $ repeat f

此类型检查，但实际上不起作用。任何人都可以向我解释为什么我不能使用此函数重复将函数应用于自己的结果，直到它返回Nothing为止？

Answer 1

foldr            :: (a -> b -> b) -> b -> [a] -> b
foldr k z = go
          where
            go []     = z
            go (y:ys) = y `k` go ys

所以

foldr (&&) True $ repeat False
   = go (repeat False) where go [] = True ; go (y:ys) = y && go ys
   = False && go (repeat False) where go [] = True ; go (y:ys) = y && go ys
   = False

如你所料。

但是

foldr (=<<) (return a) $ repeat f
   = go (repeat f) where go [] = return a ; go (y:ys) = y =<< ys
   = f =<< go (repeat f) where go [] = return a ; go (y:ys) = y =<< ys
   = f =<< f =<< go (repeat f) where go [] = return a ; go (y:ys) = y =<< ys
   = f =<< f =<< f =<< go (repeat f) where go [] = return a ; go (y:ys) = y =<< ys
   ...

你在这里做的是不重复将一个函数应用于它自己的结果，直到它返回Nothing。

您正在构建计算结果：必须先计算每个=<<的RHS，然后才能执行LHS。但是你有一个无限的列表，所以你永远不会开始计算。

您可以尝试定义

repeaterM a f = foldl (>>=) (return a) $ repeat f

代替。这也不起作用（谢谢是7s）。

使用foldr和bind来终止什么都没有

1 个答案: