F# 中的类型或具有父 Number 的类型层次结构中是否有 AND？

Question

我想定义一个整数和浮点数的列表，其中 [1,2.0] 应该是一个有效的结构。

F# 中的类型或类型层次结构中是否有 AND（例如从 Number 派生的 int 和 floats）？

谢谢。

Answer 1

不，F# / .NET 没有像 Python 那样的数字塔，也没有像 Java 那样的通用 Number 基本类型。

也许您可以根据您的目的定义一个判别式联合：

type Number =
    | Float of float
    | Int of int

let x = [Float(3.2); Int(2)] //val x : Number list = [Float 3.2; Int 2]

Answer 2

F# 没有像 Lisp/Scheme 那样的数字塔。

唯一受支持的联合类型是不相交联合，它必须包含标签。您可以这样写：

type Num = Int of int | Float of float

[Int 1; Float 2.0]

上面的值具有 Num list 类型。要使用元素，您可以使用模式匹配：

match num with
| Int x -> printf "%i" x
| Float x -> printf "%f" x