generics - 当应用于幻像类型时，此构造导致代码的通用性降低。

Question

我正在尝试以F#实现小语言的DSL。不幸的是，当我试图约束节点以保存其他类型信息(通过幻像类型)时，编译器使我陷入僵局。

以下代码行说明了该问题:

type Expr<'a> =
| Int of int
| Eq  of Expr<int> * Expr<int>
| Not of Expr<bool>

let rec to_string (expr: Expr<'a>) = 
  match expr with
  | Int(n)   -> string n
  | Eq(x, y) -> sprintf "%s == %s" (to_string x) (to_string y)
  | Not(b)   -> sprintf "!%s" (to_string b)

根据编译器，构造 to_string x发出以下警告:

construct causes code to be less generic than indicated by the type annotations. The type variable 'a has been constrained to be type 'int'.

接下来，在下一行，构造 to_string b发出此错误:

Type mismatch. Expecting a Expr<int> but given a Expr<bool> The type int does not match the type bool

我似乎找不到任何方法来规避这种行为，实际上，我找不到导致该代码通用性比我预期的差的原因。如果可能的话，我宁愿不完全放弃幻像类型的解决方案。

我是从根本上做错了吗？这可能是编译器错误吗？

Answer 1

您需要使to_string函数通用:

let rec to_string<'a> (expr:Expr<'a>) : string = 
  match expr with
  | Int(n)   -> string n
  | Eq(x, y) -> sprintf "%s == %s" (to_string x) (to_string y)
  | Not(b)   -> sprintf "!%s" (to_string b)

调用函数时将推断出type参数

Not (Eq (Int 1, Int 2))
|> to_string