13

这是新数据类型的定义:

data Total a = Total a :+: Total a 
              |...

:+: 在这种类型定义中是什么意思?

4

1 回答 1

8

它是一个以中缀形式编写的数据构造函数。如果运算符以 . 开头,则可以将其用作构造函数:

于 2012-10-04T18:12:57.233 回答