我碰到了的用法。我不太了解的运算子。
我本人试图对此进行推理，但得出的结论与GHCI产生的结论不同。
我正在:t检查表达式的类型。
我正在使用的函数是last和(.)，它们具有以下签名：
last :: [a] -> a
(.) :: (b -> c) -> (a -> b) -> a -> c
我感到困惑的功能是这样的：
(last .)
我不确定这个构造是什么，但是我认为它与函数组成类似。使用我的推理，我希望这会产生以下功能：
(last .) :: (b -> [c]) -> (a -> b) -> a -> [c]
什么:t实际上给了我是这样的：
(last .) :: (a -> [c]) -> a -> c