F # Toán tử/Chức năng Lẫn lộn

Question

Tôi chỉ mới bắt đầu vào F #, và khi chơi xung quanh với quá tải nhà điều hành, tôi đã chạy vào một cái gì đó tôi không hoàn toàn hiểu. Bây giờ, tôi hiểu rằng bạn không thể sử dụng, ví dụ: +* làm toán tử tiền tố bị quá tải; nó chỉ có thể là một toán tử infix. Đây là nơi tôi bị lẫn lộn, tuy nhiên:

let (+*) a = a + a * a;; 

Nếu tôi chạy này, FSI nói với tôi rằng các chức năng (+*) là một int->int. Tuyệt, tôi có thể khai thác nó - nó không phải là một toán tử quá tải, chỉ là một hàm bình thường có tên là (+*). Vì vậy, nếu tôi làm:

printf "%d" ((+*) 6) 

Tôi sẽ nhận được 42, như tôi mong đợi. Tuy nhiên, nếu tôi thử:

printf "%d" (+*) 6 
or 
printf "%d" (+*)6 

Nó sẽ không biên dịch. Tôi không thể đưa ra lỗi chính xác ngay bây giờ vì tôi không có quyền truy cập vào trình biên dịch F # tại thời điểm này, nhưng tại sao lại là điều này? Điều gì đang xảy ra với sự ràng buộc ở đây?

Answer 1

Nó giải thích này:

printf "%d" (+*) 6 

Như thế này:

printf ("%d") (+*) (6) 

Nói cách khác, đi qua ba đối số cà ri để printf, thứ hai trong số đó là một tham chiếu đến các chức năng +*.