Bu haskell sözdizimi nedir?</p> <pre><code>data A = A Int Int | B m :: A -> Int m a = case a of A{} -> 1 _ -> 2 </code></pre> <p>burada ne <code>A{}</code> nedir -

Question

Sadece Haskell kod parçası aşağıdaki sözdizimi karşılaştım? {} otomatik argümanlar herhangi bir sayı için uyuyor mu?

Bu Haskell kayıt sözdizimi fonksiyonları bir demet ve düzenli bir Cebirsel veri türüne desugars gerçeğini kötüye kullandığının bir his var. Bu dava mı?

Answer 1

Evet, A{}, türün kayıt sözdizimi ile bildirilmiş olup olmadığına bakılmaksızın, A yapıcısı ile oluşturulmuş herhangi bir değere eşleşir.

language report F kayıt sözdizimi (F hiçbir katı alana sahiptir sağlanan ile ilan edildi olsa da olmasa yasaldır,

ifadesi F veri yapıcı F {} belirtir - Yukarıdaki dördüncü mermi bakın); Bu

parantez içinde belirtilen dördüncü mermi 'bir katı atlar kayıt sözdizimi ile bir değer oluşturmak için statik bir hata bildiren n F Arity olan ... ⊥n, ⊥1 F'yi işaret alan.

ve pattern matching bölümünde

, kalıpları için gramer kuralları bir

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

ve semantik

olarak desen eşleştirme (3.17.3) resmi semantik alt bölümünde verilmektedir

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