haskell - Eta reduce 和 DuplicateRecordFields 语言扩展

Question

问题在于有 2 种数据类型，Transaction和 FormatModel , 两者都有 formatId field 。为了防止添加类型签名来获取 formatId来自 transaction或 formatModel , 我创建了类型类 HasFormat :

class HasFormat a where
  formatId_ :: a -> FormatId

instance HasFormat Transaction where
   formatId_  x = formatId x -- gives error because ambiguous occurrence ‘formatId’

instance HasFormat FormatModel where
  formatId_  = formatId -- this works

有人能解释一下为什么 eta 减少了实现的实例正在工作而另一个没有吗？

Answer 1

重复记录字段的消歧必然是一种尽力而为的事情，因为它需要在类型检查之前发生(您通常不能在知道其中的名称所指的标识符之前对表达式进行类型检查；这就是消歧正在做)。

您的非工作示例等同于 documentation 中的这个非工作示例:

data S = MkS { x :: Int }
data T = MkT { x :: Bool }
bad :: S -> Int
bad s = x s