F#：类型推断未找到正确的重载

Question

我已经编写了一个函数并开始对其进行重构，但是我遇到了一些问题，即“无法根据此程序点之前的类型信息确定方法 'Round' 的唯一重载”。错误，但我不明白为什么。

let CheckValuesLin (lowValue, highValue) multiplier (sigFigs:int) =
    let arithmean (lowValue, highValue) =
        (lowValue + highValue) / 2.0
    let createRangeValue numberModifier meanfunction= 
        let mean = meanfunction (lowValue, highValue)
        let rangeValue = mean + (numberModifier mean) * multiplier
        Math.Round(rangeValue, sigFigs)
    let createRangeValues valueCreatingFunction=
        (createRangeValue makeNegative arithmean, createRangeValue keepPositive arithmean)
    let greatestMinValue, lowestMaxValue = createRangeValues createRangeValue
    (greatestMinValue, lowestMaxValue)

失败的线是 Math.Round 线，当我将 range 设置为 range: float 时它消失了。这让我感到困惑，因为我悬停的所有内容似乎都已经推断出正确的类型，包括范围和平均值。

我不介意输入类型提示，我只是想知道它为什么会失败。

Answer 1

问题在于 F# 类型推断严格是从左到右，从上到下。

在createRangeValue函数中，编译器只能推断出所有的值都是数字，没有强制类型为float。

虽然稍后对arithmean 的调用似乎会给出一些浮点类型的值，但这发生在对Round 的调用之后，因此编译器无法推断类型。

编辑更多细节： 本质上，编译器会看到：

let lowValue = 0.0 //I am being genrous by making this have a type
let highValue = 0.0
let sigFigs = 0 //this type is known
let createRangeValue (numberModifier) (meanfunction) multiplier= 
    let mean = meanfunction (lowValue, highValue)    
    let rangeValue = mean + (numberModifier mean) * multiplier
    Math.Round(rangeValue, sigFigs)

在这种情况下，rangeValue 可以是 float 或 Decimal，因为两者都将满足所有存在的约束。

对我来说，这很好用

open System
let makeNegative a = -a
let keepPositive a = a
let CheckValuesLin (lowValue, highValue) multiplier (sigFigs:int) =
    let arithmean (lowValue, highValue) =
        (lowValue + highValue) / 2.0
    let createRangeValue numberModifier (meanfunction: float * float -> float)= 
        let mean = meanfunction (lowValue, highValue)
        let rangeValue = mean + (numberModifier mean) * multiplier
        Math.Round(rangeValue, sigFigs)
    let createRangeValues valueCreatingFunction=
        (createRangeValue makeNegative arithmean, createRangeValue keepPositive arithmean)
    let greatestMinValue, lowestMaxValue = createRangeValues createRangeValue
    (greatestMinValue, lowestMaxValue)