Tôi có thể gấp với một toán tử infix mà không cần viết một hàm ẩn danh không?

Question

Nếu tôi muốn thêm lên một danh sách tôi có thể làm điều này:

- List.foldr (fn (x, y) => x + y) 0 [1, 2, 3] 
val it = 6 : int 

Có cách nào để viết một cái gì đó hơn dọc theo dòng:

List.foldr + 0 [1, 2, 3] 

tôi đã cố gắng một cái gì đó như thế này:

fun inf2f op = fn (x, y) => x op y; 

Answer 1

Bạn thân thiết. Thêm từ khóa op vào ví dụ thứ hai.

- List.foldr op + 0 [1,2,3]; 
val it = 6 : int