sobrecarga de funciones en OCaml

Question

he definido algunos tipos:

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

parece que en OCaml, no podemos definir 2 funciones con el mismo nombre pero con diferentes tipos de argumentos:

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 *) 

Así ¿alguien podría decirme cuál es la alternativa en OCaml para hacer esto? ¿Tenemos que nombrar estas 2 funciones de manera diferente?

Answer 1

Sí, la solución más fácil es simplemente llamar a las funciones de manera diferente. Permitir que los programas hagan esto complica enormemente el sistema de tipos (no hasta el punto de que no es posible que los expertos diseñen una solución: hasta el punto en que la encontrarían inutilizable cuando lo hacen).

Las soluciones existentes para escribir una sola función compare son el sistema de objetos en OCaml, y las clases de tipos en Haskell (una extensión diferente del mismo sistema de tipo base). Pero es mucho más simple quedarse en el fragmento simple y nombrar sus funciones compare de manera diferente.