可比数据类型

可比类型是原始类型,可以使用 Basics 模块中的比较运算符进行比较,例如:(<)(>)(<=)(>=)maxmincompare

榆树中的可比类型是 IntFloatTimeCharString,以及类似类型的元组或列表。

在文档或类型定义中,它们被称为特殊类型变量 comparable,例如。看到 Basics.max 函数的类型定义:

max : comparable -> comparable -> comparable