Haskell中不同数据类型的字段标签之间的名称冲突

Question

从各种 OO 语言的背景来到 Haskell，对我来说似乎有点缺点的一件事是函数和字段名称的范围不限于它们所关联的类型，因此它很容易运行如果不同的数据类型具有相同名称的字段，则会发生冲突。

如果我有这三个模块：

module One where

data Foo a = Foo { value :: a }

----

module Two where

data Bar a = Bar { value :: a }

----

module Three where

import One
import Two

foo = Foo { value = 42 }  -- compile error here
n = value foo  -- and here

模块Three 中对value 的非限定引用被认为是模棱两可的，即使两个导入的名称中只有一个在这种情况下有意义。 （在 OO 语言中，对 foo.value 和 bar.value 的引用是明确的。）

当然，我可以写Foo { One.value = 42 } 来消除歧义，但这看起来很尴尬。我也可以以不同的方式命名字段，例如“fooValue”和“barValue”，但Foo { fooValue = 42 } 中的冗余看起来也很尴尬。

这实际上是一个特殊情况，即不同模块中的函数具有相同的名称但在不同的、不相关的类型上运行的更普遍的问题。不过，我似乎更经常遇到字段名称。例如，我有几个数据类型，它们与类型类无关，但经常一起使用，它们包含颜色值，所以我希望每个数据类型都有一个名为“color”的字段。

有经验的 Haskell 开发人员如何命名事物并将它们组织成模块，以避免这种情况？

Answer 1

GHC 扩展 -XDisambiguateRecordFields 将允许 foo = Foo { value = 42 }（但不允许 n = value foo）。

large body of literature 关于 Haskell 当前记录系统的缺点和替代它的候选者，以及一些试图提供更好解决方案的库。 fclabels是我个人用过的唯一一个。

This StackOverflow question 类似，其中的一些答案可能对您也有用。

这确实是一个特例 更一般的功能问题 不同的模块具有相同的 名称但操作不同， 不相关的类型。

Qualified imports 和别名通常足以解决这个问题。

Answer 2

有经验的 Haskell 开发人员如何命名事物并将它们组织成模块，以避免这种情况？

我只与一些有经验的 Haskell 开发人员合作过，他们做的事情很糟糕，比如

data Foo a = Foo { foo_value :: a }

data Bar a = Bar { bar_value :: a }

甚至

data Apocalypse a = A { ap_value :: a }

总的来说，我有一种感觉，很多旧时的 Haskeller 不喜欢合格的名字，真的想假装世界只有一个大名字空间，直接从黑暗时代出来。 （曾经有一段时间，C 编译器对字段名称有相同的限制，这就是为什么 struct stat 中的模式称为 st_mode 而不仅仅是普通的 mode。）

您可以使用类型类重载名称，但我认识的有经验的开发人员不喜欢无缘无故的类型类。我永远无法弄清楚他们什么时候认为类型课程是免费的。

我希望有朝一日 Haskell 人会接受分层命名空间并开始使用限定名称。正如上帝的旨意。

Answer 3

如果所有这些类型都有一个公共访问器函数，您可能会考虑一个类型类。例如

class Fieldable a where
     field :: a -> b

instance Fieldable (a,b) where
     field = fst

等等