0
Ben Haskell kodunda bu gördüm:data QueryParam (sym :: Symbol) a - bu ne anlama geliyor?
data QueryParam (sym :: Symbol) a
bu ne anlama geliyor? Bir kurucu nerede? Uzantısı olmayan geçerli bir kod mu?
Ben Haskell kodunda bu gördüm:data QueryParam (sym :: Symbol) a - bu ne anlama geliyor?
data QueryParam (sym :: Symbol) a
bu ne anlama geliyor? Bir kurucu nerede? Uzantısı olmayan geçerli bir kod mu?
Evet, bu bir yapıcı olmayan bir veri beyanıdır - bu - böyle beyanlar tip QueryParam
bir tür bir tip düzeyinde çalışır bilgilerle kullanılır Symbol
Çeşidi sahip olduğunu göstermektedir data QueryParam a = QueryParam Symbol a
ile karşılaştırılabilir, ancak değer seviyesi yerine tip seviyesinde.
Uzantısı olmadan geçerli bir kod var mı? –
KindSignatures ve belki de EmptyDataDecls gerekir. –
Diğer bilgiler: EmptyDataDecls Haskell 2010'a eklendi, bu nedenle genellikle – hao