2

所以，我在这里查看了这个问题，并为这个问题构建了一个相当丑陋的解决方案。在尝试清理它时，我开始研究列表推导和列表单子。我决定做的是使用 list monad 实现一个每位数的计数器。给定一个数字输入序列[1, 2]，我想生成一个输出序列，如下所示：

[ [ 0, 0],
  [ 0, 1 ],
  [ 0, 2 ],
  [ 1, 0 ],
  [ 1, 1 ],
  [ 1, 2 ] ]

也就是说，我将遍历该范围内列表中所有元素的所有可能值。

haskell.org list monad 文档说：

绑定函数应用于输入列表中的所有可能值，并将结果列表连接起来以生成所有可能结果的列表。

伟大的！看起来很完美......这是我为生成解决方案而编写的代码：

count :: [Integer] -> [[Integer]]
count [] = []
count (x:xs) =
  -- get all possible sequences for the remaining digits
  let
    remDigits :: [[Integer]]
    remDigits = count xs
  in
  -- pull out a possible sequence for the remaining digits
  do nextDigits <- remDigits
     -- pull out all possible values for the current digit
     y <- [0..x]
     -- record that "current digit" : "remaining digits" is
     -- a valid output.
     return (y:nextDigits)

但是用任何东西调用count都会产生空列表，我不知道为什么。我错过了什么？

4

4 回答 4

8 
count = sequence . map (enumFromTo 0)

是的，就这么简单。试试看 ：）

于 2009-12-06T19:09:05.770 回答
8

更短

count = mapM (enumFromTo 0)
于 2009-12-07T02:39:35.183 回答
3

为了完整起见，您还可以将逻辑表示为列表推导式，这可能是将列表单子用于简单函数的最佳方式：

count (x:xs) = [ (y:ys) | y <- [0..x], ys <- count xs ]
于 2009-12-06T19:12:29.193 回答
2

首先，您需要单例列表的基本案例作为参数。尝试这个：

count :: [Integer] -> [[Integer]]
count [] = []
count [n] = map (\x -> [x]) [0..n]
count (x:xs) =
     do y <- [0..x]
        nextDigits <- count xs
        return (y:nextDigits)

 main = do
   print $ count [1]
   print $ count [1,2]
于 2009-12-06T18:27:13.793 回答