使Haskell List Recursion函数更有效

Question

我编写了一个函数，该函数将比较两个列表，并检查第一个列表是否是第二个列表的前缀，并且必须使用递归来完成。

例如：

prefix [1,2] [1,2,3]
>True
prefix [2,1,4] [2,1,13,4]
>False

现在，我已经完成了，但是我觉得效率很低：

prefix :: [Int] -> [Int] -> Bool
prefix (x:xs) (y:ys)
|   null xs                         =   True
|   x == y && head xs == head ys    =   True && prefix xs ys
|   head xs /= head ys              =   False

我希望它可以更有效地进行，并具有更好的模式匹配。 是真的吗？

Answer 1

您根本不需要使用head函数。 这使比较的数量增加了一倍。 尝试这个：

prefix :: [Int] -> [Int] -> Bool
prefix [] _ = True
prefix _ [] = False
prefix (x:xs) (y:ys)
  | x == y = prefix xs ys
  | otherwise = False

Answer 2

乍得·吉尔伯特的解决方案可以非常简化：

prefix :: [Int] -> [Int] -> Bool
prefix [] _ = True
prefix (x:xs) (y:ys)
  | x == y = prefix xs ys
prefix _ _ = False

这不会影响性能，但是会展示一种语言功能：当某个模式上的所有防护措施均失败时，该匹配将被放弃，并且匹配将在下一个模式下恢复。

Answer 3

 Prelude > let prefix [] _ = True
 Prelude |     prefix _ [] = False
 Prelude |     prefix (x:xs) (y:ys) = if ( x==y) then prefix xs ys else False

例子：

  Prelude> prefix [1,3] []
  False
  Prelude> prefix [] [1,2,3]
  True
  Prelude> prefix [1,2] [1,2,3]
  True