哈斯克尔列表理解 调用多个参数时的非穷举模式

Question

首先，我创建了一个Type StudentMark，它是一个元组，首先是一个字符串，其次是一个Int。

type StudentMark = (String, Int)

这是我的capMarks函数：

capMarks :: [StudentMark] -> [StudentMark]
capMarks [cMarks] = [(st, mk) | (st, mk) <- [capMark cMarks]]

这是我的capMark函数：

capMark :: StudentMark -> StudentMark
capMark (st, mk)
    |   mk > 39   =   (st, 40)
    |   mk < 40   =   (st, mk)

它应该返回：

[("Jo", 37), ("Sam", 40)]

从：

capMarks [("Jo", 37), ("Sam", 76)]

但只有当我在函数中输入 1 个参数时，才会返回正确和预期的响应，例如：

capMarks [("Jake", 50)]

或

capMarks [("Jake"), 30]

但是使用两个（或更多）应该这样做只会告诉我 capMarks 函数中有一个非穷举模式。

Answer 1

让我们分析一下你的capMarks函数：

capMarks :: [StudentMark] -> [StudentMark]
capMarks [cMarks] = [(st, mk) | (st, mk) <- [capMark cMarks]]

首先capMarks [cMarks] = ...模式匹配。这将匹配包含单个元素的列表。我假设您想对整个列表执行某些操作，因此请将其更改为capMarks cMarks = ...

接下来... [(st, mk) | (st, mk) <- [capMark cMarks]]会将 capMark 函数应用于原始模式匹配方案中的唯一元素，然后将结果作为列表中的唯一元素。您似乎希望将capMark应用于列表的每个元素。因此，如果我们遵循前面的建议，则需要执行类似 ... [capMark mark | mark <- cMarks] .这完全如前所述：将capMark应用于cMarks列表的每个元素。

最终版本：

capMarks :: [StudentMark] -> [StudentMark]
capMarks cMarks = [capMark mark | mark <- cMarks]

或者，您也可以使用模式匹配和显式递归：

capMarks [] = []  
capMarks (x:xs) = capMark x : capMarks xs

第一行表示应用于空列表capMarks是空列表。第二行表示capMarks应用于至少一个元素的列表将capMark应用于第一个元素，然后递归地将capMarks应用于列表的其余部分。

这是Haskell中如此常见的模式，以至于有一个称为map的函数可以推广它。使用map非常简单：

capMarks cMarks = map capMark cMarks

map具有类型 (a -> b) -> [a] -> [b]，这意味着它接受一个函数和一个列表并返回一个列表。（a和b只是告诉编译器哪些类型必须相同。 然后map将函数应用于输入列表中的每个元素。

最终，您将了解部分函数应用和无点样式。有了这两个概念，使用map的版本可以稍微简化：

capMarks = map capMark

不要太担心这个。为了完整起见，我只是在这里添加它。

Answer 2

您应该检查模式匹配在 Haskell 中的工作方式。

capMarks [x]将仅匹配具有一个元素的列表。您可能想要的是以递归方式capMarks myList = [ ... | ... <- f myList]或定义其余情况。

例如

capMarks [] = []
capMarks x:xs = capMark x : capMarks xs

这个简化的"版本"在拥抱中起作用

capMarks :: [Integer] -> [Integer]
capMarks xs = [(*) 2 x | x <- xs]