什么是Haskell的箭头关联性？

Question

我目前正在学习haskell，正在努力进行以下测试：假设我们有这样的类型：

type Endo a = a -> a

我必须选择与Endo (Endo Int)等效的所有类型

(Int -> Int) -> (Int -> Int)
(Int -> Int) -> Int -> Int
Int
Int -> Int
Int -> Int -> Int -> Int
(Int -> Int) -> Int
Int -> Int -> (Int -> Int)
Int -> (Int -> Int)
Int -> Int -> Int

因为Endo Int的类型是Int -> Int所以我知道我需要的类型有4个(Int -> Int) -> (Int -> Int)例如(Int -> Int) -> (Int -> Int) Int- (Int -> Int) -> (Int -> Int) 。 但是我真的不明白哪个括号是不必要的

Answer 1

在Haskell中它是正确的关联，因此以下等效：

a -> b -> c
a -> (b -> c)

接受参数a和b的函数等效于给定参数a的函数返回接受参数b的函数。

它不具有关联性。

所以答案是前两个。

Answer 2

您的直觉是正确的： (Int -> Int) -> (Int -> Int)确实是Endo (Endo Int) 。

只要回想一下->右边的同事，即

a -> b -> c     means    a -> (b -> c)

鉴于此，您现在应该可以解决该练习了。