F#递归函数退出？

Question

我对 F# 编程非常陌生。我正在寻找关于为什么在达到 n=0 条件时以下递归函数将退出的答案。 “then 1”语法是否具有等同于 EXIT 的特殊含义？

let rec factorial n = 
    if n = 0 
    then 1 
    else n * factorial (n - 1)

Answer 1

函数式编程语言是面向表达式的，而不是面向语句的。这意味着一切都是可以计算为值的表达式。

控制流结构if 和match 也只是表达式。编译器检查这些表达式的所有分支是否返回相同的类型。

如果你熟悉其他语言中的条件三元运算符，F# 的表达式if true then 1 else 0 等价于true ? 1 : 0。

此外，该函数不会这样“退出”。它完成了评估。函数的每个实例（将有 n + 1 实例）在 if/then/else 表达式的末尾完成求值。