可比資料型別

可比型別是原始型別,可以使用 Basics 模組中的比較運算子進行比較,例如:(<)(>)(<=)(>=)maxmincompare

榆樹中的可比型別是 IntFloatTimeCharString,以及類似型別的元組或列表。

在文件或型別定義中,它們被稱為特殊型別變數 comparable,例如。看到 Basics.max 函式的型別定義:

max : comparable -> comparable -> comparable