GHC Haskell为什么不支持重载记录参数名称？

Question

我说的是，这是不可能的定义：

data A = A {name :: String} 
data B = B {name :: String} 

我知道，GHC只是desugars这个平淡的功能和解决惯用的方式，这将是：

data A = A {aName :: String} 
data B = B {bName :: String} 

class Name a where 
    name :: a -> String 

instance Name A where 
    name = aName 

instance Name B where 
    name = bName 

写完后我不喜欢那么多......难道这种类型分类是否是desugaring过程的一部分？

---

当我编写一些Aeson JSON解析时，这个想法来到了我的脑海。对于每种数据类型，只要derive the FromJSON instances太简单了，我不得不手动将所有东西写出来（目前大于1k行和计数）。 像name或简单地value这样的名称在数据记录中并不罕见。

http://www.haskell.org/haskellwiki/Performance/Overloading提到函数重载引入了一些运行时开销。但我实际上并不明白为什么编译器无法在编译时解决这个问题，并在内部为它们指定不同的名称。

This SO question from 2012或多或少的状态历史原因和指向2006年的邮件主题。最近有什么变化吗？

即使会有一些运行时间开销，大多数人不会介意导致大多数代码几乎都是性能关键。

是否有一些隐藏的语言扩展，实际上允许这？我再次不确定......但我认为伊德里斯实际上做到了这一点？

Answer 1

使用记录语法

data A { name :: String } 

隐式定义的函数

name :: A -> String 

如果有{ name :: String }同时定义A和B，我们有冲突的类型定义为name：

name :: A -> String 
name :: B -> String 

是的不清楚如何你提出的隐式类型的类会因为工作，如果我们定义了两种类型的

data A { name :: String } 
data B { name :: Text } 

那么我们刚才转移的问题冲突的类型的类定义：

class Has'name a where 
    name :: a -> String 

class Has'name a where 
    name :: a -> Text 

原则上，这是可以解决的一个这种方式或另一种方式，但这只是记录中一些棘手的相互矛盾的理想属性之一。当Haskell被定义时，决定最好是有简单的支持，而不是尝试设计更加雄心勃勃和复杂的东西。在不同的时间讨论了对记录的若干改进，并进行了长期的讨论， this Haskell Cafe thread。也许Haskell Prime会有一些解决方案。

Answer 2

很多，主要是次要的原因。一个是由a better answer引发的问题，仅在第一个参数上重载不足以处理所有有用的情况。

你可以 “desugar”

data A { name :: String } 
data B { name :: Text } 

到

class Has'name a b | a -> b where 
    name :: a -> b 

data A { aName :: String } 
instance Has'name A String where 
    name :: aName 

data B { bName :: Text } 
instance Has'name B Text where 
    name :: bName 

但这需要还没有使它成为标准，但GHC扩展（函数依赖）。它不会仅仅使用'名称'来创建记录，更新和模式匹配（视图模式可能会有所帮助），因为'name'在这些情况下不是“仅仅”的函数。你也许可以拿出与模板Haskell非常相似的东西。

Answer 3

我发现的最好方法是使用预处理器来解决这个绝对相当愚蠢的问题。

Haskell和GHC使这很容易，因为整个Haskell解析器可用作普通库。你可以解析所有的文件，将名称为a的数据重命名方案（例如“data A {name :: String}”和“let a = A”Betty“）转换为”data A {a_Name :: String}“和”根据名称函数应用于的数据类型，使用类型解析器将a = A“Betty”放入aName a»），然后写出来进行编译。

但说实话，这应该被整合到GHC中。你是对的：愚蠢的是，这不包括在内。