将f应用于每个元素并将结果作为列表返回

您编写的函数和您所针对的类型签名不一致。如果您喜欢类型签名，则需要更改定义

someZip :: (a -> b -> c -> d) -> [(a,b,c)] -> [d]
someZip _ [] = []
someZip f ((x,y,z):ts) = f x y z : someZip f ts


顺便说一下，这可以写成fmap。

someZip :: (a -> b -> c -> d) -> [(a,b,c)] -> [d]
someZip f = fmap ((x, y, z) -> f x y z)


如果您更喜欢保留实现并更改类型签名，则需要采用更多参数

someZip :: (a -> b -> c -> d) -> [a] -> [b] -> [c] -> [d]
someZip f (x:xs) (y:ys) (z:zs) = f x y z : someZip f xs ys zs
someZip _ _ _ _ = []


顺便说一句，这个功能实际上是 zipWith3

someZip :: (a -> b -> c -> d) -> [a] -> [b] -> [c] -> [d]
someZip = zipWith3