这是我到目前为止写的,但我有点失落:
removeone :: [a] -> [[a]] removeone [] = [] removeone (a:as) = [as] -- I'm lost here
这是我正在寻找的那种输出:
removeone [1,2,3] = [[2,3],[1,3],[1,2]] removeone [1,2] = [[1],[2]]
解决这个问题的最佳方法是什么?在Java中,我只是循环这个,每次产生一个新的列表,我将附加到一个预先存在的列表.我很想把它翻译成Haskell.
让我们看一个稍长的例子,弄清楚如何分解它:
> removeone [1,2,3,4] [[2,3,4],[1,3,4],[1,2,4],[1,2,3]]
正如您已经猜到的那样,您只需as
在某些列表的前面放置(从输入中删除第一个元素的结果),但是那个列表是什么?
removeone (a:as) = as : ...
仔细观察,你可以看到它们a == 1
位于每个方面的前面.让我们考虑一下如何构建它:
[[1,3,4],[1,2,4],[1,2,3]] == [1:[3,4],1:[2,4],1:[2,3]] == map (1:) [[3,4],[2,4],[2,3]]
第二个参数应该看起来很熟悉:这是你应该期待的结果removeone [2,3,4]
.就像那样,你有你的递归案例:
removeone (a:as) = as : map (a:) (removeone as)