“拆箱”受歧视工会的多功能类型/寻找好的解决方法

Question

对于一个小型 AST 解析器，我有一个小的可区分联合

type Numerical =
    | Int of int
    | Real of float

，可用于其他一些构造，例如

type Vector = Numerical list
Vector [Int 42; Real 13.5]

当我有这样的方法时，

let eval (e:Numerical) =
    match e with
    | Int n -> ... (* return int *)
    | Real r -> ... (* return float *)

我知道 F# 推断 int 类型并产生 错误第二行中的 Real 模式，所以我想知道哪种代码设计是能够处理此类“通用”类型并使用给定类型返回适当值的最佳代码设计。

编辑

我这里有一个非此即彼的情况，它会导致类似的功能

let getInt = function
| Int n -> n
| Real _ -> failwith "Given value doesn't represent an int"

let getReal = function
| Real n -> n
| Int _ -> failwith "Given value doesn't represent a real number"

，但是我想要一种封装这两种情况并“自动选择正确的情况”的方法。

这整个努力应该导致能够真正使用原始数据类型的“盒装”值（例如 Int 42 和 Real 13.）运行计算，但能够返回适当的包装器。如果我想添加 Real 1. 和 Real 1.5 我想提取 1.0 + 1.5 = 2.5 然后继续使用 Real 2.5，但是我不想将所有内容都作为浮点数处理，这样我就可以区分整数和浮点数。

Answer 1

let eval<'T> (e:Numerical):'T =
    match e with
    | Int n -> n :> obj :?> 'T
    | Real r -> r :> obj :?> 'T

演示

> eval<float>(Real 4.5);;
val it : float = 4.5
> eval<int>(Int 42);;
val it : int = 42
> let x:float = eval (Real 5.5);;
val x : float = 5.5
> let x:int = eval (Real 5.5);;//NG typemismatch

Answer 2

您可以将结果转换为 obj：

let eval (e:Numerical) =
    match e with
    | Int n -> n :> obj
    | Real r -> r :> obj

但这可能不是您想要的。

另一种选择是在Numerical上实现您自己的操作：

let (+) a b =
    match (a,b) with
    | (Int an, Int bn) -> Int (an + bn)
    | (Real ar, Real br) -> Real (ar + br)
    | _ -> failwith "Can't add Int and Real"

您不能拥有基于某些运行时值具有不同编译时返回类型的函数。