这个 haskell 语法是什么？

Question

我刚刚在一段 Haskell 代码中遇到了以下语法 -

data A = A Int Int | B

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

A{} 在这里做什么？ {} 是否会自动匹配任意数量的参数？

我有一种感觉，这是利用 Haskell 将语法脱糖记录为一堆函数和常规代数数据类型的事实。是这样吗？

Answer 1

是的，A{} 匹配使用 A 构造函数构造的任何值，无论该类型是否已使用记录语法声明。

语言报告指定

表达式 F {}（其中 F 是数据构造函数）是合法的，无论 F 是否使用记录语法声明（前提是 F 没有严格的字段 - 请参阅上面的第四个项目符号）；它表示 F ⊥1 … ⊥n，其中 n 是 F 的元数。

括号中提到的“第四个项目符号”指出，使用省略严格字段的​​记录语法构造值是一个静态错误。

在模式匹配部分中，语法规则之一对于模式是

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

，语义在模式匹配的形式语义（3.17.3）小节中给出：

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