从功能应用到功能组合的Haskell类型错误

Question

这个问题与由antal sz回答的此功能组成VS功能应用程序有关。

你怎么能得到这个？

map has type (a -> b) -> [a] -> [b]
head has type [a] -> a
map head  has type [[a]] -> [a]

为什么以下代码的函数组成有类型错误？

 test :: [Char] -> Bool
 test xs = not . null xs

 getMiddleInitials :: [String] -> [Char]
 getMiddleInitials middleNames = map head . filter (\mn -> not . null mn) middleNames

但这没有类型错误

getFirstElements :: [[a]] -> [a]
getFirstElements = map head . filter (not . null)

为了利用功能组合，是否必须编写无点功能？ 我仍然不太了解函数组合的用法。

请帮忙。 谢谢。

Answer 1

那只是因为函数应用程序xy优先级高于合成x . y优先级x . y x . y

 test :: [Char] -> Bool
 test xs = (not . null) xs
 -- #      ^          ^

 getMiddleInitials :: [String] -> [Char]
 getMiddleInitials middleNames = (map head . filter (\mn -> (not . null) mn)) middleNames
 -- #                            ^                          ^          ^    ^

Answer 2

您在这里的错误实际上非常简单。 如果您记得我对上一个问题的回答的最后部分，则是. 运算符的优先级高于除功能应用程序以外的任何优先级。 因此，请考虑您的示例

test :: [Char] -> Bool
test xs = not . null xs

这被解析为test xs = not . (null xs) test xs = not . (null xs) 。 当然， null xs类型为Bool ，并且您不能编写布尔值，因此会出现类型错误。 因此，您可以使示例工作如下：

test :: [Char] -> Bool
test xs = (not . null) xs

getMiddleInitials :: [String] -> [Char]
getMiddleInitials middleNames =
  (map head . filter (\mn -> (not . null) mn)) middleNames

当然，以这种方式编写它是不寻常的，但是可以正常工作。

不，除了无点样式外，还有函数组合的其他用途。 一个示例是将函数组合用于某些事物（ 例如 map或filter的参数），但指定其余部分。 例如，以这个人为的例子为例：

rejectMapping :: (a -> Bool) -> (a -> b) -> [a] -> [b]
rejectMapping p f = map f . filter (not . p)

这部分是无点的（例如， not . p ，我们省略了最后一个参数），但是部分是无点的（存在p和f ）。