f# - 强制通用参数

Question

我有以下问题:
我有两种参数化的类型，如果两种类型具有相同的类型参数，则它们应该与通用函数一起使用

type A<'a> = A of 'a
type C<'a> = C of 'a

let inline save ((A a) :A<'a>) ((C c):C<'a>) = saveToDB (a :: c :: []) |> ignore

save (A 1) (C 2)
save (A "1") (C "2")

现在想象一个应该执行 save 的函数但具有不同的类型，将通过某些指标实例化

let inline save indicator (otherval:C<'a>) =
    match indicator with
    | "i" -> save (A 1) otherval
    | "s" -> save (A "s") otherval

在这种情况下，我在 | "s" -> adder (A "s") otherval 上收到错误这么说otherval类型应为 C<int>

知道如何解决这个问题吗？

Answer 1

基于 Julien Roncaglia 的答案，此方法至少应该是类型安全的，因为我们正在使用 when 守卫:

let inline save ((A a) :A<'a>) ((C c):C<'a>) = saveToDB (a :: c :: []) |> ignore

let boxToGenericC<'a, 'b> (c: C<'a>) =
    unbox<C<'b>>(box(c))

let save1 indicator (otherval:C<'a>) =
    match indicator with
    | "i" when typeof<'a> = typeof<System.Int32> -> save (A 1) (boxToGenericC<'a, int> otherval)
    | "s" when typeof<'a> = typeof<string>-> save (A "s") (boxToGenericC<'a, string> otherval)

并且尝试执行 save1 "s"(C 1) 会导致模式匹配失败。