Tại sao lại thích currying đối với các tham số tuple trong OCaml?

Question

"Introduction to Caml" nói

Lưu ý, trong CAML nó là tốt hơn để sử dụng cà ri định nghĩa chức năng cho các chức năng nhiều đối số, không tuples.

khi so sánh 'a -> 'b -> 'c quy ước gọi đến 'a * 'b -> 'c.

Khi làm việc với SML/NJ, tôi đã quen với việc sử dụng các loại bộ tuple cho cả đầu vào và đầu ra: ('a * 'b) -> ('c * 'd) để sử dụng bộ dữ liệu để thể hiện nhiều đầu vào.

Tại sao currying được đề xuất cho khai báo hàm OCaml trên đối số tuple? Nó chỉ là sự linh hoạt lớn hơn mà đi kèm với cho phép currying/một phần đánh giá, hoặc là có một số lợi ích khác có nguồn gốc từ các chi tiết thực hiện của trình biên dịch OCaml?

Answer 1

Có, nó chủ yếu là sự tiện lợi về mặt lý thuyết và tính linh hoạt để thực hiện một phần ứng dụng. Các hàm curried là thành ngữ trong OCaml, và trình biên dịch có khả năng tối ưu hóa chúng tốt hơn một chút so với các hàm tupled (trong khi các trình biên dịch SML thường tối ưu hóa cho các bộ dữ liệu).

Ưu điểm của tupling là đối số/kết quả đối xứng bạn đề cập (đặc biệt hữu ích khi soạn hàm) và có lẽ là sự quen thuộc không hợp lý (ít nhất là đối với những người đến từ thế giới phi chức năng).

Answer 2

Một số nhận xét về tối ưu hóa trong OCaml.

Trong OCaml, tôi nhận thấy rằng bộ dữ liệu luôn được phân bổ khi chuyển chúng làm đối số. Ngay cả khi phân bổ trong heap chính là nhanh chóng trong ocaml, nó là tất nhiên dài hơn không làm gì cả. Vì vậy, mỗi khi bạn vượt qua một tuple như đối số, có một số thời gian dành cho việc phân bổ và điền vào các tuple.

Tôi hy vọng rằng trình biên dịch ocaml sẽ tối ưu hóa các trường hợp không cần thiết để xây dựng bộ tuple. Ví dụ, khi bạn nội tuyến hàm được gọi, bạn chỉ có thể sử dụng các thành phần bộ tuple chứ không phải chính tuple. Do đó, tuple có thể bị bỏ qua. Thật không may trong trường hợp này OCaml không loại bỏ tuple vô ích và vẫn thực hiện việc phân bổ. Vì lý do này, có thể không nên sử dụng bộ dữ liệu trong các phần quan trọng của mã.

Answer 3

Tôi nghĩ rằng rất nhiều trong số đó là các hàm thư viện chuẩn trong OCaml được curried, trong khi ở Standard ML chúng thường không ngoại trừ một số hàm bậc cao hơn. Tuy nhiên, có một sự khác biệt được đưa vào ngôn ngữ: các toán tử (ví dụ: (*)) được kết hôn trong OCaml (ví dụ: int -> int -> int); trong khi chúng không được sử dụng trong tiêu chuẩn ML (ví dụ: op* có thể là (int * int) -> int). Do đó, các hàm bậc cao được cài đặt sẵn (ví dụ: gấp) cũng có chức năng được xử lý trong OCaml và chưa được kiểm tra trong tiêu chuẩn ML; điều đó có nghĩa là chức năng của bạn để làm việc với điều đó, bạn cần phải tuân theo quy ước tương ứng, và nó theo sau từ đó.