haskell - 为什么类型是 Char -> Char -> Char

Question

我有以下类型签名:

*Main Lib> let f :: a -> a -> a -> a; f = undefined  
*Main Lib> let x :: Char; x = undefined 

为了找出我会得到哪种结果类型，我做了:

*Main Lib> :t f x
f x :: Char -> Char -> Char

为什么不

Char -> Char -> Char -> Char

因为第一个参数已经被 x 替换了？

Answer 1

是的，完全正确。考虑一个不同的函数，length :: [a] -> Int 。如果你询问 length "abc" 的类型，你得到Int :

Prelude> :t length "foo"
length "foo" :: Int

一般来说，如果你有一个函数f :: A -> B和一个论点x :: A ，然后f x :: B .

就您而言，我们有 f :: a -> (a -> a -> a) (专门针对 a = Char )，所以 A = Char和B = Char -> Char -> Char .

( a -> a -> a -> a 与 a -> (a -> a -> a) 相同，因为类型中的 -> 是右结合的。)