'$'는 haskell의 함수입니까?

Question

나는 haskell에서 ($)에 대해 매우 혼란 스럽다.

내가 ghci에서

:t ($) 

를 입력 할 때. 나는

:t ($ 3) 

내가

이

($ 3) :: Num a => (a -> b) -> b 

그럼, 왜 ($) 오류없이 두 번째 인수를 허용 얻을 것이다 입력 할 때,

:($) :: (a -> b) -> a -> b 

를 얻을 수 있지만 것인가?

Answer 1

음 ($)은 삽입 연산자 함수 인 연산자입니다. 그것은 정의는 매우 간단입니다 (이 재미있는 유일한 것은 그 정착입니다 사실, 나는 구글이 그에 자원의 톤이있다 확신) : 모든 사업자처럼

($) :: (a -> b) -> a -> b 
f $ x = f x 

을, 당신은 sections 걸릴 수 있습니다 첫 번째 또는 두 번째 인수 만 적용하면됩니다. 이것은 또한 (+) 연산자 더 분명 수 있습니다 :

는

(+ 2) -- equivalent to \x -> x + 2 
(2 +) -- equivalent to \x -> 2 + x 

동일 ($ 3)에 대한 보유 - 그것은 \f -> f $ 3에 해당합니다. 이 함수의 타입은 다음과 같이 명확해야합니다. 인수 f은 숫자를 취하여 다른 것을 반환하는 함수 여야하며 (f :: Num a => a -> b) 전체 함수는 f이 반환하는 것과 동일한 유형을 반환합니다. 즉

(\f -> f $ 3) :: Num a => (a -> b) -> b 

그리고 결과적으로 ($ 3) :: Num a => (a -> b) -> b 제공합니다.