可能的F#类型推理限制

Question

我很确定我遇到了某种限制,但我不明白:

type IRunner = 
    abstract member Run : (string -> 'a) -> 'a
type T() = 
    let run4 doFun = doFun "4"
    let run5 doFun = doFun "5"
    let parseInt s = System.Int32.Parse(s)
    let parseFloat s = System.Double.Parse(s)
    let doSomething () = 
        let i = parseInt |> run4
        let f = parseFloat |> run4
        f |> ignore

    // Make it more generic ->
    //let doSomething2 (runner:(string->'a)->'b) =
    let doSomething2 runner = 
        // Error on the following lines with both declarations
        let i = parseInt |> runner
        let f = parseFloat |> runner
        f |> ignore

    // Want to do something like
    let test () = 
        doSomething2 run4
        doSomething2 run5

    // Workaround
    let workaround (runner:IRunner) = 
        let run f = runner.Run f
        let i = parseInt |> run
        let f = parseFloat |> run
        f |> ignore

有人可以为此带来一些启示吗？我没有找到任何相关问题,对不起,如果我复制了一些东西.

Answer 1

问题是,如果doSomething2已经输入((string->'a) -> 'b) -> unit,然后'a和'b每个调用过程中是固定的doSomething2,这是不是你想要的东西-你的情况'a需要处理,既int和float一个在单一的调用doSomething2.

看起来你真正想要的更像是:doSomething2 : (forall 'a. (string -> 'a) -> 'a) -> unit但是F#中不存在那种直接的通用量化.正如您所发现的,解决此问题的方法是使用具有泛型方法的类型.

即使F#支持forall类型,正如我在评论推断中提到的那样仍然是不可能的.考虑一下你的doSomething2函数 - 我们知道runner需要能够将类型的输入转换string -> int为某种输出类型,将类型的输入转换string -> float为某种(可能是不同的)输出类型.以下是doSomething2满足此要求的几种不同签名:

1. forall 'a. 'a -> 'a
2. forall 'a. (string -> 'a) -> 'a
3. forall 'a. 'a -> unit

请注意,这些类型中没有一种比其他类型更通用,它们都是不兼容的.在第一种情况下,我们可以传递id给函数,在第二种情况下,我们可以传递run4给它,在第三种情况下,我们可以传递ignore给它(但是这些函数都没有与其他可能的签名兼容!).