어떻게 할 수 있습니다 (<$>) 연관 왼쪽

Question

방금 ​​(<$>)은 infixl 4의 고정도를 나타냅니다. 어떻게 이럴 수있어?

(+1) <$> (/5) <$> [5,10] 분명히 왼쪽에서 오른쪽으로 작동합니다.

Answer 1

아니요, <$>은 연결 상태로 남겨 둡니다.이 예에서도 마찬가지입니다. (+1) <$> (/5) <$> [5,10]은 ((+1) <$> (/5)) <$> [5,10]으로 읽습니다. 이것은 (->) a의 Functor 인스턴스가 기본적으로 기능 구성과 동일하기 때문에 작동합니다. fmap (+1) (/5)은 \x -> (x/5)+1과 동일합니다.이 경우에는 사용자가 생각하는 것과 동일한 결과를 얻을 수 있습니다 (예 : (+1) <$> ((+5) <$> [5,10])).

다소 혼란 스럽기 때문에 행에 여러 함수를 적용하려는 경우 일반 함수 작성 연산자 인 (+1) . (/5) <$> [5,10]을 사용하는 것이 더 읽기 쉽습니다.