3

我正在尝试创建一个函数，从整数列表中消除给定整数的倍数，格式multiples x [y]为 ，其中 x 是给定的整数，y 是列表。

这是我所拥有的：

multiples :: Integer -> [Integer] -> [Integer]
multiples a [] = []
multiples a [b] = filter (\l -> l `mod` a /= 0) [b]

multiples调用时会失败，说“函数倍数中的非详尽模式”。所以我用ghci -Wall我的文件来查看丢失了哪些模式，它返回了这个：

multiples.hs:2:1: warning: [-Wincomplete-patterns]
    Pattern match(es) are non-exhaustive
    In an equation for `multiples': Patterns not matched: _ (_:_:_)

multiples.hs:2:11: warning: [-Wunused-matches]
    Defined but not used: `a'

我觉得我在第 2 行中遗漏了一些非常简单的东西，但我有点卡住了。我究竟做错了什么？

4

2 回答 2

5

欢迎来到堆栈溢出！在你的函数中有几件事需要修复，但我将从你似乎最困惑的那件事开始：这[b]是一个匹配单元素列表的模式，命名它的单个 item b。（[b, c]将是匹配二元素列表的模式，等等。）它不是匹配任意长的bs 列表的模式。GHC 告诉你，因为你没有考虑到函数被赋予两个或更多元素列表的情况。

如果要匹配任意的bs 列表，请省略方括号。此外，函数的第一行不是必需的，因为第二行已经处理了这种情况。

multiples :: Integer -> [Integer] -> [Integer]
multiples a bs = filter (\b -> b `mod` a /= 0) bs

或者，使用列表推导，

multiples :: Integer -> [Integer] -> [Integer]
multiples a bs = [b | b <- bs, b `mod` a /= 0]

还有两件事：我将这个函数命名为withoutMultiples因为它过滤掉了的倍数a，并且因为默认情况下 Haskell 函数是柯里化的，所以你可以bs在filter版本中省略 。

withoutMultiples :: Integer -> [Integer] -> [Integer]
withoutMultiples a = filter (\b -> b `mod` a /= 0)
于 2016-09-17T23:47:20.747 回答
4

你的图案

    multiples a [b]

需要一个整数（绑定到名称“a”）和包含一个元素的整数列表（绑定到名称“b”）。删除此模式中的方括号（这会将“b”的类型更改为 [Integer]），它应该可以工作。你也可以curry这个函数来形成

    multiples a = filter (\l -> l `mod` a /= 0)

并省略第一个模式，因为它应该被过滤器功能覆盖。

于 2016-09-17T23:47:04.787 回答