如何在 Haskell 中创建递归 zipWith 函数？

Question

到目前为止我有：

miZipWith f [] [] = []
miZipWith f (x:xs) [] = []
miZipWith f [] (y:ys) = []
miZipWith f (x:xs) (y:ys) = f y: miZipWith f xs ys

----miZipWith f (x:xs) (y:ys) = f x : f y : miZipWith f xs ys

但这只会将函数 f 与第二个列表“压缩”。我如何也包含第一个列表？

*Main> miZipWith (*2) [1,2,3,4] [5,6,1]
[10,12,2]

Answer 1

zipWith 函数是这样的：

zipWith :: (a -> b -> c) -> [a] -> [b] -> [c]
zipWith f (x:xs) (y:ys) = f x y : zipWith f xs ys
zipWith _ _ _ = []

您的假设是函数f 只接受一个参数，但实际上它接受两个参数（两个列表的头部）。