haskell - 函数标量中的非穷举模式New

Question

在这种情况下，“函数 scalarNew 中的非详尽模式”是什么意思？

scalarNew :: [Integer]->[Integer]->Integer
scalarNew (x:xs) (y:ys) 
     | (length xs == length ys) = x * y + scalarNew xs ys
     | otherwise = error "error"

标签： haskell

Answer 1

使用递归时必须添加基本情况。在这种情况下，基本情况是两者都是空列表。

scalarNew :: [Integer] -> [Integer] -> Integer
scalarNew []     []        = 0
scalarNew []     (y:ys)    = error "error"
scalarNew (x:xs)    []     = error "error"
scalarNew (x:xs) (y:ys) 
  | length xs == length ys = x * y + scalarNew xs ys
  | otherwise = error "error"

编辑：只处理一个空列表的情况