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

问题描述

我学习Haskell.从Haskell 2010文档中:

I learn Haskell. From Haskell 2010 documentation:

我不明白第一句话.我知道存在数据构造函数和类类型构造函数.这种情况下是什么构造函数?也许我需要一个代码示例.

I don't understand first phrase. I know exist data constructors and class type constructors. What constructor this case? Maybe I need a code sample.

推荐答案

您可以定义类似

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

第一句话就是这个意思.

That's what the first phrase refers to.

这篇关于以冒号开头的运算符是构造函数的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持！