Haskell 有办法解决这个问题吗?

Question

今天在 reddit 上有篇 OCaml Sucks 文章， 其中有一点：

Record field naming hell
    Cannot have two record types in the same file that have a field with the same name (and before version 3.09, you could not have a record field named contents!)

印像中Haskell 也不允许这样。虽然跨 Module 能用 `qualified` ，
那么在同一个 module 内， 如何解决该问题?  莫非必须靠 pragma ?

Answer 1

既然有人提出来，　肯定是实际中会遇到的。

一时想不出特别恰当的例子，也想不起在几时遇到的这问题。　只能举个不是很好的例子：

比如一颗二叉树，　叶结点称作 IntTerm 和 CharTerm (仅为两名字，不一定指里面内容只有Int 和 Char)，　两结构中都有个值叫 value:

2. data Tree = NonTerm {
3.                 left   :: Tree,
4.                 right  :: Tree
5.             }
6.           | IntTerm {
7.                 value  :: Int
8.                 -- bla bla......
9.             }
10.           | CharTerm {
11.                 value  :: Char
12.                 -- other arguments ......
13.                 -- ...
14.             }
15.           | Dummy
16.           deriving (Show)

复制代码

Answer 2

有在同一个module 里面复用的必要？