gpt4 book ai didi

haskell - 这个 Haskell 代码的语法规则是什么?

转载 作者:行者123 更新时间:2023-12-04 18:05:46 24 4
gpt4 key购买 nike

我对 Haskell 有基本的了解(如果我的问题对这里的 Haskell 用户来说看起来微不足道,请原谅我)并且最近一直在研究 Haskell 的语法。在 Haskell 2010 report只有一处使用了关键字“type”:

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

可以看出,总是有一个 "="是必须的。在一个 Haskell 文件中,我看到了这段代码:
type Key m :: *

取自 TrieMap.hs第 61 行。

这不符合规则。我怀疑这是一个 GHC 扩展或什么的
相似的。有人可以向我指出这段代码符合哪个语法规则吗?
顺便说一句,我没有找到扩展的语法规则,不得不猜测其中的很多,有没有记录在案的地方?

最佳答案

这是一个 associated type family declaration ,部分 TypeFamilies延期。

它基本上在类声明中使用,以告诉该类具有与其每个实例相关联的类型。

我不记得有任何地方很好地布置了用于扩展的 BNF 语法,尽管我曾经找到过 GHC's Happy grammar在其存储库中。

关于haskell - 这个 Haskell 代码的语法规则是什么?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/28661475/

24 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com