Question

g ll = 
  foldlM (\ some_list b -> do
    part <- f b
    return (some_list ++ part)) [] ll

在上面的代码中，我使用do statement只是因为f函数返回monad类型：M a其中a是一个列表。（我＆＃34;解包＆＃34;该列表包含<-。这就是我需要do statement）的原因。我可以避免它并更简洁地写出来吗？（是的，我知道我可以使用>>=来编写它，但我也考虑更好的东西。）

Answer 1

foldlM是错误的工具。您可以使用它，作为chepner的答案显示，但是您连接列表的方式可能会变得昂贵。 Luka Rahne的单线优势更好：

g ll = fmap concat (mapM f ll)

另一种选择是直接使用foldr：

g = foldr (\x r -> (++) <$> f x <*> r) (pure [])

通过内联foldr：

来编写第二个版本的另一种方法

g [] = pure []
g (x : xs) = (++) <$> f x <*> g xs

Answer 2

您的do表达式

do
  part <- f b
  return (some_list ++ part)

遵循fmap捕获的提取 - 应用 - 返回模式（由于身份fmap f k = k >>= return . f

您从计算part

f b

您将(some_list ++)应用于part
您将返回该应用程序的结果。

这可以通过fmap：

-- foldlM (f b >>= return . (some_list ++)) [] ll
foldlM (\some_list b -> fmap (some_list ++) (f b)) [] ll

避免在foldM中使用do语句

2 个答案: