在 Haskell 中对数据类型和值构造函数使用相同的名称是否常见？

Question

查看以下代码：

data Point = Point Float Float deriving (Show)  
data Shape = Circle Point Float | Rectangle Point Point deriving (Show)  

它来自于 Learn you a Haskell for Great Good 这本书，该代码示例随附以下文本：

请注意，在定义点时，我们对数据类型和值构造函数使用了相同的名称。 这没有特殊含义，尽管如果只有一个值构造函数，通常使用与类型相同的名称。

现在我的假设是data Point = ...是数据类型，而... = Point Float...是值构造函数。

我的问题是：在 Haskell 中对数据类型和值构造函数使用相同的名称是否常见？

Answer 1

根据我有限的经验：是的。 这也有道理。 为什么你在这里用不同的方式称呼Point ？ 它完美地描述了数据类型，也很清楚用于像这样的模式匹配

myFunc :: Point -> Bool
myFunc (Point 0 0) = True
myFunc _ = False

这是明确的，因为您只能将数据类型放在函数的类型签名中。

Answer 2

这不是直接的答案，而是给有相同问题的人的提示。

语法高亮可能有助于区分两者。 例如，前面提到的一些代码的屏幕截图，来自带有Haskell 语法突出显示扩展的Visual Studio Code（带有自定义颜色编码）：

顺便说一下，并不是每个人似乎都同意接受的答案。 例如，参见这篇短文，以及关于它的这个 r/haskell 讨论。