F# 输入 obj 但我想要 'a

Question

我定义了一个类型

type 'a sexp =
| E of 'a
| T of ( sexp<'a> * sexp<'a> );;

例子：

( "this" . (("is" . "a") . ( "s" . "expression")) )

是一个字符串sexp。

((1.5).2)

是 int 的一个 sexp。

---

我创建了一个函数 tolist，它给定一个表达式返回一个具有格式的列表。

let rec tolist expr =
match expr with
| Null -> [" "]
| E(x) -> [string x]
| T(l,r) -> 
    let l = tolist l
    let r = tolist r
    ["("]@(l)@[" . "]@(r)@[")"];;

val tolist : expr:obj sexp -> 字符串列表

我的问题是我想要一个性别而不是像告诉我的 obj 性别。我哪里做错了？

通话就是这样 tolist (T(E("this") , E("is")));;

Answer 1

F# 中的string 函数具有obj -> string 类型，因此它将E(x) 中的x 类型限制为obj。 （更新：比这稍微复杂一些；有关所有详细信息，请参阅this answer 的后半部分。但归结为“string 需要在编译时知道其参数的具体类型时间，以便它可以调用正确的.ToString() 方法。如果你传递一个泛型类型，它唯一可以确定工作的具体类型是obj，所以它最终会受到约束你的泛型类型为obj。”）而这反过来又将tolist函数的类型限制为sexp<obj>（或obj sexp——相同的类型，不同的编写方式）。

如果您将 string 调用替换为 sprintf "%A"，则您的函数将具有适当的通用性。例如，您希望您的代码如下所示：

type 'a sexp =
| E of 'a
| T of ( sexp<'a> * sexp<'a> )

let rec tolist expr =
    match expr with
    | Null -> [" "]
    | E(x) -> [sprintf "%A" x]
    | T(l,r) -> 
        let l = tolist l
        let r = tolist r
        ["("]@(l)@[" . "]@(r)@[")"]