我正在尝试通过zip 和map 函数实现zipWith 函数，但我收到一个错误消息：“错误：输入'::' 上的解析错误我的代码在下面并且我不确定我做错了什么
zipWith` :: (a -> b -> c) -> [a] -> [b] -> [c]
zipWith` f x y = zip x $ map f y
【问题讨论】：
` 不是变量名的有效字符。另外，为什么enter 在那里？这是一个错字还是你的源代码中实际上有enter这个词？它不属于。
标签： list haskell syntax syntax-error
您必须使用 ' 符号而不是 ` ；然后，结合你需要使用的功能uncurry：
zipWith' :: (a -> b -> c) -> [a] -> [b] -> [c]
zipWith' f xs ys = map (uncurry f) (zip xs ys)
为什么，zip 的类型是：
zip :: [a] -> [b] -> [(a, b)]
但函数f是f :: (a -> b -> c)，所以，在uncurry的帮助下，
uncurry :: (a -> b -> c) -> (a, b) -> c
您可以将函数f 映射到[(a, b)]，将其转换为[c]。
【讨论】：
(<$> zip) <$> (<$>) <$> (<$>) <$> uncurry
正如 Damian 所指出的，zipWith` 不适用于尾随反引号——反引号在 Haskell 中具有特殊含义。将其重命名为zipWith'。
zipWith' :: (a -> b -> c) -> [a] -> [b] -> [c]
那么你当然必须真正编写解决方案。有了显式递归，你就有了
zipWith' _ _ [] = []
zipWith' _ [] _ = []
zipWith' f (x:xs) (y:ys) = f x y : zipWith' f xs ys
但是使用map 和zip 你可以这样应用它：
zipWith' f xs ys = map (\(x,y) -> f x y) . zip xs $ ys
或更容易阅读：
zipWith' f xs ys = map (\(x,y) -> f x y) zipped
where zipped = zip xs ys
【讨论】：