這是什麼Haskell語法？

Question

我只是碰到了一塊的Haskell代碼的語法如下跑 -

data A = A Int Int | B 

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

什麼A{}在這裏做什麼？ {}是否可以自動匹配任意數量的參數？

我有一種感覺，這是利用Haskell記錄語法desugars到一堆函數和常規代數數據類型的事實。是這樣嗎？

Answer 1

是，A{}與A構造建造的任何值匹配，不管類型是否已宣佈創紀錄的語法與否。

的language report指定

表達式f {}，其中，F是一個數據構造，是合法的F是否或不與記錄語法（提供F具有沒有嚴格的字段聲明 - 參見上面的第四子彈）;它表示F⊥1...⊥n，其中n是F的元數

在括號中提到的「第四子彈說，它是一個靜態誤差構建具有記錄語法的值忽略了嚴格領域。

而在上pattern matching的部分中，用於模式的語法規則之一是

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

和語義在模式匹配（3.17.3）的形式語義小節作爲

給出

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