CDuce/类型/整数

CDuce 整数可以是任意的、正的或负的。三个字面值 9 09 009 对应相同的整数。它也对应“值九的整数”的类型，它是一个包含整数 9 的单元素集合。

#print_type 9;;
-> 9

表达式

type Foo = 1 | 2 | 3 | 4

定义 Foo 类型，它对应包含前四个正整数的集合。另一种构建连续整数集合的方法

type Foo = 1--4

#print_type -1 | -2 | -3;;
-> -3---1

严格正整数和严格负整数的集合，以及它们的构造

type Positive = 1--*
type Negative = *---1
type NonNul = Positive | Negative
#print_type NonNul | 0
-> Int