Bu Haskell kodunun dilbilgisi kuralı nedir?

Question

Haskell ile ilgili temel bilgilere sahibim (eğer sorularım Haskellers için önemsiz görünüyorsa beni affedin) ve yakın zamanda Haskell'in sözdizimini araştırıyordum. Haskell 2010 report ise anahtar kelimeler "tip" kullanılır tek bir yer vardır:

topdecl ::= "type" simpletype "=" type 

Ve görülebileceği gibi, bir "=" gereklidir her zaman vardır.

type Key m :: * 

kurala uymayan TrieMap.hs hattı 61.

alınan: Bir Haskell dosyasında, ben bu kod parçası bakın. Bu bir GHC uzantısı veya benzer bir bir şey olduğundan şüpheleniyorum. Birisi bana bu kod parçasının hangi kod kuralına uyduğunu gösterebilir mi? BTW, uzantılar için dilbilgisi kurallarını bulamadım ve bunların çoğunu tahmin etmek zorunda kaldım, bir yerlerde belgelenmiş mi?

Answer 1

Bu, TypeFamilies uzantısının bir parçası olan associated type family declaration.

Temel olarak, sınıfın her örneğiyle ilişkili bir türü olduğunu söylemek için bir sınıf bildiriminde kullanılır.

Bir keresinde havuzda GHC's Happy grammar bulmamıza rağmen, BNF dilbilgisi uzantıları için güzel bir şekilde yerleştirilmiş herhangi bir yeri hatırlamıyorum.