haskell - 以冒号开头的运算符符号是构造函数

Question

我学习 Haskell。来自 Haskell 2010 文档:

• An operator symbol starting with a colon is a constructor.
• An operator symbol starting with any other character is an ordinary identifier.

我不明白第一句话。我知道存在数据构造函数和类类型构造函数。这个case是什么构造函数？也许我需要一个代码示例。

Answer 1

你可以定义像

data Symbolic n
   = Constant n
   | Variable String
   | Symbolic n :+ Symbolic n
   | Symbolic n :* Symbolic n
  deriving (Show)

GHCi> let v = Variable; c = Constant
GHCi> c 2 :* v"a" :+ c 3
    (Constant 2 :* Variable "a") :+ Constant 3

这就是第一句话所指的。