OCaml constructor desempaquetado

Question

¿Es posible descomprimir un tipo vinculando sus datos a un solo valor en lugar de a una tupla?

# type foo = Foo of int * string;; 
type foo = Foo of int * string 
# Foo (3; "bar");; 
    Foo (3; "bar");; 
Error: The constructor Foo expects 2 argument(s), 
     but is applied here to 1 argument(s) 
# Foo (3, "bar");; 
- : foo = Foo (3, "bar") 

# (* Can this possibly work? *) 
# let Foo data = Foo (3, "bar");; 
    let Foo data = Foo (3, "bar");; 
Error: The constructor Foo expects 2 argument(s), 
     but is applied here to 1 argument(s) 

# (* Here is the version that I know works: *) 
# let Foo (d1, d2) = Foo (3, "bar");; 
val d1 : int = 3 
val d2 : string = "bar" 

¿Esto es sintácticamente posible?

Answer 1

Esta es una parte complicada de la sintaxis OCaml. Si define su tipo como se muestra, su constructor Foo espera dos valores entre paréntesis. Y siempre tiene que haber dos valores, no es un valor único que es una tupla.

Si usted está dispuesto a utilizar un tipo diferente, se puede hacer algo más parecido a lo que quiere:

# type bar = Bar of (int * string);; 
type bar = Bar of (int * string) 
# let Bar data = Bar (3, "foo");; 
val data : int * string = (3, "foo") 
# let Bar (d1, d2) = Bar (3, "foo");; 
val d1 : int = 3 
val d2 : string = "foo" 

Cuando se declare esta manera, el constructor Bar espera un valor que es una tupla. Esto puede ser más flexible, pero también requiere un poco más de memoria para representarlo, y un poco más de tiempo para acceder a las partes.