¿Qué es esta sintaxis haskell?

Question

Acabo de funcionar a través de la siguiente sintaxis en una pieza de código Haskell -

data A = A Int Int | B 

m :: A -> Int 
m a = case a of 
    A{} -> 1 
    _ -> 2 

Cuál es el A{} haciendo aquí? ¿El {} coincide automáticamente con cualquier cantidad de argumentos?

Tengo la sensación de que esto explota el hecho de que Haskell registra la sintaxis desúbula a un conjunto de funciones y un tipo de datos Algebraico regular. Es ese el caso?

Answer 1

Sí, A{} coincide con cualquier valor construido con el constructor A, independientemente de si el tipo ha sido declarado con sintaxis de registro o no.

El language report especifica

la expresión f {}, donde F es un constructor de datos, es legal o no F se declara con la sintaxis de registro (siempre que F no tiene campos estrictas - ver el cuarto punto por encima); denota F ⊥1 ... ⊥n, donde n es el aridad de F.

La 'cuarta bala' mencionado en el paréntesis indica que se trata de un error estático de construir un valor con la sintaxis de registro que omite una estricta campo.

Y en el apartado de pattern matching, una de las reglas gramaticales para los patrones es

apat -> qcon { fpat1 , … , fpatk }  (labeled pattern, k ≥ 0) 

y la semántica se dan en el apartado de la semántica formal de reconocimiento de patrones (3.17.3) como

(o) case v of { K {} -> e ; _ -> e′ } 
     = case v of { 
      K _… _ -> e ; _ -> e′ }