ハスケル型署名のかっこの意味は？

Question

は、例としてfmapの型シグネチャ（Functor方法）を取る：

(a -> b) -> f a -> f b 

方法は、以下の型シグネチャとは異なることがありますか？

a -> b -> f a -> f b 

これらの2つのタイプシグネチャには違いがありますか？

Answer 1

はい、違いはあります。the -> type constructor is right-associativeです。換言すれば、

a -> b -> f a -> f b 

この型シグネチャ自体がタイプ bのパラメータを受け取り、返す関数を、タイプ aのパラメータを受け取り、返す関数を示し

a -> (b -> (f a -> f b)) 

と等価です関数自身はf a型のパラメータを取り、タイプf bの値を返します。一方

、

(a -> b) -> f a -> f b 

型a -> b（タイプaのパラメータを取り、型bの値を返し、すなわち関数）のパラメータをとり、関数を返す関数を示し、それ自体はタイプf aのパラメータを取り、タイプf bの値を返します。

f :: (Int -> Bool) -> [Int] -> [Bool] 
f = map 

g :: Int -> Bool -> [Int] -> [Bool] 
g n b = map (\n' -> (n' == n) == b) 

λ> let ns = [42, 13, 42, 17] 

λ> f (== 42) ns 
[True,False,True,False] 

λ> g 42 True ns 
[True,False,True,False] 

λ> g 42 False ns 
[False,True,False,True] 

Answer 2

はい、

(a -> b) -> ... 

は "Bにかかる機能を与えられた..." という意味。この

a -> b -> ... 

を意味し、 "...一部a及びいくつかのBを与え" a -> b -> ...は、2つの引数を意味し、一方

Answer 3

はい、(a -> b)は、署名a -> b持つ関数である一つの引数を意味します。