榆树里的“数字”是什么

number . 它似乎是一种类型,类似于 Int 和 Float java.lang.Number ,但是:

• 它是用小写字母写的,因此在语法上类似于值的名称(我使用'value'来避免使用'constant variable'这个名称)
• 数 .

> 1024
1024 : number
> 1024.0
1024 : Float
> floor(1024)
1024 : Int

让我们使用一个值名称 数 :

> number = 144
144 : number
> number
144 : number
> number = floor(144)
144 : Int
> number
144 : Int

> Result.Ok 12 
Ok 12 : Result error number
> Result.Ok 12.0 
Ok 12 : Result error Float
> Result.Ok (floor 12) 
Ok 12 : Result error Int

它是一个命名很尴尬的联合类型吗?语法错误?

(异想天开的是:为什么不为“类型的宇宙中的事物”设置一个特殊的语法呢, ↑Int ⇈X . 榆树,有时很难破译。)