haskell - 如何将 haskell 字段名称放置在不同的 namespace 中？

Question

考虑以下两种类型:

data Point=Point{x::Float,y::Float}
data Rectangle = {upperLeft::Point, bottomRight::Point}
data Square = {upperLeft::Point, bottomRight::Point}

ghc 编译器提示 Rectangle 中的 upperLeft 字段名称与 Square 的字段名称冲突。这看起来很奇怪，因为从表面上看，每个字段名都应该在类型的命名空间中，否则不能重用字段名，我怀疑这将是一个足够普遍的期望。

例如定义一个我们写的变量:

let a=Rectangle{upperLeft=Point 2 3, bottomRight=Point 7 7}
let a=Square{upperLeft=Point 2 3, bottomRight=Point 7 7}

由此我们可以看出，我们应该能够期望每个字段名称都应该在它们各自的类型命名空间内。

我的用法正确还是我的期望错误？有没有办法解决这个问题？

Answer 1

由于对象可以通过它们的字段名访问，编译器必须能够从它的字段名推断对象的类型。例如，在

boundingBox x = bottomRight x - upperLeft x

访问器 bottomRight和 upperLeft用于推断 x 的类型.如果允许多个类型具有相同的访问器名称，则无法推断类型。

为了避免名称冲突，一个常见的约定是在所有字段名称上放置一个前缀。该约定用于 GHC 项目。

data Rectangle = {rc_upperLeft :: Point, rc_bottomRight :: Point}
data Square =    {sq_upperLeft :: Point, sq_bottomRight :: Point}