函数 take6 错误中的非详尽模式？

Question

所以我创建了这个函数，为我提供列表中的 "n" 个第一个元素，"(b:bs);

 1  module Sexta where  
 2
 3  take6::Int->[a]->[a]
 4  take6 n (b:bs) = if n<=0 then [] 
 5                 else [b] ++ (take6 (n-1) bs)

问题是当我尝试：take6 2 []，它显示：

*** Exception: sexta.hs:(4,1)-(6,15): Non-exhaustive patterns in function take6

我不知道为什么，因为当我手动尝试这个时:

   take6 2 []
   = [] ++take6 1 []
   = [] ++[]++take6 0 []
   = [] ++[]++[]
   = []

Answer 1

模式b:bs与空列表不匹配。您需要一个单独的案例来处理空列表。

Answer 2

您在检查 n 之前解构列表，因此即使它为 0，您也要求列表非空。您可以使用守卫来处理这种情况，但在列表太短的情况下这无济于事。

Answer 3

在你的程序中你写：

take6 n (b:bs) = ...

但是在这里你使用了一个模式(b:bs)，它是列表的"cons"构造函数。 cons 构造函数有一个头部 b 和一个尾部 bs。然而，列表类型有两个构造函数：我们已经在此处讨论过的 "cons" 和空列表 []。 Haskell 抱怨它找不到第二个参数的空列表模式的子句。所以你的函数需要用形状定义：

take6 n [] = ...
take6 n (b:bs) = ...

现在的问题还是在这里做什么。不管我们在空列表的情况下采取什么，我们都不能再发出任何元素，所以你可能想要 return 空列表，所以：

take6 _ [] = []

此外，您确实区分了 n 小于或等于零，在这种情况下，结果是一个空列表：

take6 n (b:bs) | n <= 0 = []

但也有n > 0的情况。在那种情况下，我们确实希望将 b 添加到 take6 (n-1) bs 之前。但是请注意，一种更有效的前置方式是再次使用 "cons" 构造函数：

               | otherwise = b : take6 (n-1) bs

或完整：

take6 :: Int -> [a] -> [a]
take6 _ [] = []
take6 n (b:bs) | n <= 0 = []
               | otherwise = b : take6 (n-1) bs

函数 take6 错误中的非详尽模式？

Non-exhaustive patterns in function take6 error?

list

haskell

take