我不确定这是否是一个愚蠢的问题，但我正在阅读 VS 2010 附带的教程，并且有这样的功能：
let rec factorial n = if n=0 then 1 else n * factorial (n-1)
这个递归函数被rec关键字标记的原因是什么？
是不是让编译器确信它是递归的，所以可以进行某些优化？
如果你排除它会发生什么？
【问题讨论】：
这可能是有益的：
let Main() =
let f(x) =
printfn "original f: %d" x
let f(x) =
//let rec f(x) =
printfn "entered new f: %d" x
if x > 0 then
f(x-1)
else
printfn "done"
f(3)
Main()
打印出来的
entered new f: 3
original f: 2
现在，如果我们注释掉 let 并取消注释 let rec，那么它会打印出来
entered new f: 3
entered new f: 2
entered new f: 1
entered new f: 0
done
所以从这个角度来看，这只是名称绑定； let rec 立即将标识符放入作用域（在此示例中，遮盖了先前的 f），而 let 仅在定义其主体后才将标识符放入作用域。
该规则的动机确实源于与类型推断的交互。
【讨论】：
根据 Chris Smith（在 F# 团队工作）-
通知类型推断系统允许该函数用作类型推断过程的一部分。 rec 允许您在类型推断系统确定函数类型之前调用函数
【讨论】：
rec...实验时间！
rec，您还必须事先定义函数本身。但是你必须先定义函数，因为它在它自己的范围内是不可用的。但首先，您必须定义函数。定义函数后。一旦定义了函数。这需要定义函数。 无限。
根据 MSDN，这只是语法上的必要性：
递归函数，函数 称自己，被识别 在 F# 语言中明确显示。这 使正在成为的标识符 定义范围内可用 功能。
【讨论】：
这个递归函数被rec关键字标记的原因是什么？
告诉编译器在函数体内对函数名的任何使用都会递归引用它，而不是指向先前定义的同名值。
编译器是否可以确保它是递归的，从而可以进行某些优化？
没有。
如果你排除它会发生什么？
您将失去定义的函数在其函数体中引用自身的能力，并获得引用先前定义的同名值的能力。
【讨论】：
函数可以是递归的。非rec 函数只知道绑定在它定义的地方，而不是之后（所以它不知道自己）。
【讨论】：
let 之后。 let rec 使正在绑定的名称在绑定表达式本身可用。