Ưu tiên ứng dụng chức năng Haskell infix

Question

Hãy để f x y = x * y. Chúng tôi có thể áp dụng chức năng này theo hai cách: f 5 6 hoặc sử dụng ký hiệu infix, 5 `f` 6. Các quy tắc của nhà điều hành có áp dụng cho biểu thức cuối cùng này không? Ứng dụng này có ưu tiên gì? Nó chỉ là một dạng ứng dụng chức năng khác, và nó cũng sẽ có ưu tiên cao nhất?

Tôi cho rằng trình biên dịch thấy biểu mẫu đặc biệt này (do `` và/hoặc tên bắt đầu bằng chữ cái (?)) Và thực sự coi đây là ứng dụng chức năng thông thường, thay vì coi nó là toán tử.

Answer 1

Các Haskell 98 Report có một phần trên Operator Applications mà xóa nó lên:

Một nhà điều hành hoặc là một biểu tượng nhà điều hành, chẳng hạn như + hoặc $$, hoặc là một nhận dạng bình thường kèm theo trong dấu huyền (backquotes) , chẳng hạn như `op`. Ví dụ, thay vì viết ứng dụng tiền tố op x y, người ta có thể viết ứng dụng infix x `op` y. Nếu không có tuyên bố cố định được đưa ra cho `op` thì giá trị mặc định là ưu tiên cao nhất và để lại tính kết hợp (xem Phần 4.4.2).

Như đã nêu bởi các câu trả lời khác, Báo cáo cũng có một phần trên Fixity Declarations cho phép bạn xác định tính ổn định của riêng bạn, ví dụ:

infixl 7 `op` 

Answer 2

Nếu không có tuyên bố xác định rõ ràng nào, ví dụ:

infixl 7 `quot` 

chức năng nhúng ngược có độ cố định là infixl 9, vì vậy sẽ được xử lý giống như bất kỳ nhà điều hành nào khác có cùng độ cố định.