这个错误是什么意思，以及如何解决它？

Question

这是我的代码

let rec Interest a b c =
    if (c=0) then b else Interest(a ((1.0+a)*b) (c-1));;

错误是：

if (c=0) then b else Interest(a ((1.0+a)*b) (c-1));;

-------------^^^^^^^^^^^^^^^^^^^^^^ ^^^^^^^

stdin(2,26)：错误 FS0001：类型不匹配。期待一个 'a 但给定一个 'a -> int -> 'a 当统一 ''a' 和 ''a -> int -> 'a' 时，结果类型将是无限的 >

Answer 1

您已将Interest 定义为一个接受三个参数的函数，但您传递的参数与该参数不匹配。按照它的编写方式，您只需将一个参数传递给对 Interest 的递归调用 - 带括号的表达式 a ((1.0=a)*b) (c-1)。在这里，a 被推断为两个参数的函数，((1.0=a)*b) 和 (c-1)。

长话短说，这会抛出类型推断算法，直到它放弃说它无法掌握要给 Interest 的类型。

你想要的是这个：

let rec Interest a b c =
    if (c=0) then b else Interest a ((1.0=a)*b) (c-1)

(1.0=a) 也会有问题。这将计算为一个布尔值，您稍后要将该值与b 相乘。不确定意图是什么，但您可能正在寻找类似(if 1.0 = a then 1 else 0) 的东西？

与支持“布尔”和整数之间的隐式转换的类 C 语言不同，F# 要求您将所有转换显式化以确保正确性（这也适用于数字类型之间的转换）。