相关疑难解决方法(0)

相关文章:如何消除选择器功能的歧义？

https://ghc.haskell.org/trac/ghc/wiki/Records/OverloadedRecordFields/DuplicateRecordFields

但是,我们不会推断参数的类型来确定数据类型,或者有任何方法可以将选择推迟到约束求解器.

实际上很烦人,这个功能没有实现.我试图查找多个来源,但我找不到他们决定不推断类型的原因.

有谁知道这个的好理由？是因为当前类型系统的限制吗？