Tại sao "lật id" của Haskell có loại này?

Question

Tôi tò mò về biểu thức flip id (Không phải bài tập về nhà: Tôi đã tìm thấy nó trong tài liệu getOpt).

Tôi tự hỏi tại sao nó lại có kiểu này:

Prelude> :t (flip id) 
(flip id) :: b -> (b -> c) -> c 

Ví dụ, (flip id) 5 (+6) cho 11.

Tôi biết tại sao id (+6) 5 cho 11, nhưng tôi không "nhận" điều flip id.

Tôi đã cố gắng tìm ra điều này bằng chính bút và giấy nhưng không thể. Ai có thể vui lòng giải thích điều này với tôi? Ý tôi là, làm thế nào để flip id có loại b -> (b -> c) -> c?

Answer 1

Các id chức năng có loại này:

id :: a -> a 

Bạn nhận được một thể hiện của loại hình này, khi bạn thay thế a bởi a -> b:

id :: (a -> b) -> (a -> b) 

đó, vì tách lạng bộ, cũng giống như :

id :: (a -> b) -> a -> b 

Bây giờ, hãy áp dụng flip này và bạn sẽ có được:

flip id :: a -> (a -> b) -> b 

Trong trường hợp của id (+) dụ là:

id :: (Num a) => (a -> a) -> (a -> a) 

Bây giờ flip id mang đến cho bạn:

flip id :: (Num a) => a -> (a -> a) -> a 

Side lưu ý: Điều này cũng cho bạn thấy thế nào ($) giống với id, chỉ với loại bị hạn chế hơn:

($) :: (a -> b) -> a -> b 
($) f x = f x 
-- unpoint: 
($) f = f 
-- hence: 
($)  = id