Coincidencia de patrón OCaml en tipos integrados

Question

Estoy tratando de escribir una función polimórfica, que necesita hacer algo ligeramente diferente según el tipo de parámetro. ¿Hay alguna manera de que pueda hacer una coincidencia de patrón en el tipo del objeto, usando los tipos integrados? Estoy pensando en algo parecido a esto:

let to_string v = 
    match v with 
    | string -> v 
    | int -> string_of_int v 
    | _ -> "" 

pero este no parece ser un programa OCaml válido.

He visto this question, pero eso tampoco responde mi pregunta. Preferiría preferiría para usar los tipos incorporados estándar en lugar de construir nuevos tipos para esto (aunque puedo hacerlo si ese es el único camino).

Answer 1

En realidad esa respuesta se aplica completamente a usted. Solo puede coincidir con una clase de tipo, y el tipo definido por la unión de int, string, float, ... no existe y debe crearse (como en la respuesta anterior). 'a opera en un tipo particular, pero no representa una unión de todos los tipos.

que podría ser capaz de hacer lo que desee con una función de C externo (18.3), aunque, echando un vistazo a la sección de etiquetas atómica, no estoy seguro de que serás capaz de diferenciar char y int.