Chức năng quá tải trong OCaml

Question

tôi đã xác định một số loại:

type box = Box of int 
type table = Table of int 
type compare_result = Lt | Eq | Gt 

Dường như trong OCaml, chúng ta không thể xác định 2 chức năng cùng tên nhưng khác kiểu của đối số:

let compare (a: box) (b: box): compare_result = (...) 
let compare (a: table) (b: table): compare_result = (...) 

let res_box = compare (Box 1) (Box 2) in (* which is supposed to call the first funciton *) 
let res_table = compare (Table 1) (Table 2) in (* which is supposed to call the second function *) 

Vì vậy, bất cứ ai có thể cho tôi biết những gì là thay thế trong OCaml để làm điều này? Chúng ta có phải đặt tên cho 2 chức năng này một cách khác nhau không?

Answer 1

Có, giải pháp đơn giản nhất đơn giản là gọi các chức năng khác nhau. Cho phép các chương trình thực hiện điều này làm phức tạp hệ thống kiểu (không đến mức các chuyên gia không thể thiết kế một giải pháp: đến mức bạn sẽ thấy nó không thể sử dụng được khi chúng thực hiện).

Giải pháp hiện tại để viết một hàm duy nhất compare là hệ thống đối tượng trong OCaml và nhập các lớp trong Haskell (một phần mở rộng khác cho cùng hệ thống kiểu cơ sở). Nhưng nó đơn giản hơn nhiều để ở trong mảnh đơn giản và đặt tên cho các hàm của bạn compare khác nhau.