yourself - type class haskell




Haskell 타입 시그니처의 괄호의 의미는 무엇입니까? (2)

fmap ( Functor 메서드)의 형식 시그니처를 예로 들어 보겠습니다.

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

이것이 다음과 같은 유형 서명과 어떻게 다른가요?

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

이 두 가지 유형의 서명간에 차이점이 있습니까?


예,

(a -> b) -> ...

"a ~ b를 취하는 함수가 주어진다"는 의미입니다. 그러나이

a -> b -> ...

"약간의 A와 B를 받았다"는 의미입니다 ...


예, (a -> b)(a -> b) 갖는 함수 인 하나의 인수를 의미합니다. 반면 a -> b -> ... 는 두 개의 인수를 의미합니다.





parentheses