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

boilplate

今天在 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 ?

soiamso

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

boilplate

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

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


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

1. 
   
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)
    

复制代码