Tại sao cả bản đồ (^ 2) xs và bản đồ (2 ^) xs hoạt động như mong đợi trong Haskell?

Question

Tại sao

map (^2) [1..10] 

công việc và cũng

map (2^) [1..10] 

làm việc?

Tôi hy vọng nó chỉ hoạt động với một trong số chúng, không phải cho cả hai.

Tôi nghĩ bản đồ sẽ lặp qua tất cả các yếu tố của [1..10] và sau đó làm

[1^2, 2^2, 3^2, ...] 

cho map (^2) [1..10]. Sau đó, tôi hy vọng rằng khi được đưa ra map (2^) [1..10], nó sẽ mang lại lỗi sintax hoặc một cái gì đó, bởi vì nó cần các số sau ^, không phải trước đây.

Answer 1

Ngữ pháp Haskell đã hỗ trợ đặc biệt dành cho xây dựng như thế này, được gọi là "bộ phận điều hành". Nếu bạn có bất kỳ nhà điều hành ghi, giống như nói #$%, sau đó các ký hiệu sau đây được hỗ trợ:

(#$%) = \x y -> x #$% y 
(#$% y) = \x -> x #$% y 
(x #$%) = \y -> x #$% y 

Vì vậy, bạn đang mong đợi một số quán toán học để phá vỡ này, và nếu Haskell là một ngôn ngữ rất nhỏ như Forth, tôi sẽ nghiêng để đồng ý với trực giác của bạn. Lý do nó hoạt động về cơ bản là "bởi vì họ đã viết nó để làm việc như thế".

(Nó đã được bổ sung cũng làm giảm sự mơ hồ - không f + x nghĩa f áp dụng cho hai đối số, hoặc có nghĩa là + áp dụng cho hai đối Kể từ khi nó thực sự có nghĩa là sau này, làm thế nào để chúng tôi đại diện cho cựu trả lời: sử dụng? () để giới thiệu một phần điều hành.)

Answer 2

(2 ^) tạo một hàm mới có tham số và yêu cầu (tham số 2 ^). Đó là một cách để làm tan chảy.

Dưới đây là một liên kết với các lý thuyết đằng sau nó: Partial Application(Haskell.org)

Answer 3

Haskell biết rằng ^ là một nhà điều hành ghi để nó diễn giải (trong ký hiệu toán học) (2^) như f(x) = 2^x và (^2) như f(x) = x^2.