F# 递归终止

Question

我阅读了很多有关函数式编程和 f# 的书籍。我有一段我无法理解的代码。我熟悉递归程序，但这个特殊的代码让我很烦

open System

let rec fact x =
    if x < 1 then 1
    else x * fact (x - 1)

fact 6

在这段代码中，代码中没有任何地方终止回避。这个程序怎么知道什么时候停止。如果我在 C# 中对此进行编程，我会告诉程序在索引或迭代器高于 6 时停止递归。

Answer 1

当 x 小于 1 时递归停止，因为表达式的结果是 1

if x < 1 then 1

在 C# 中，函数如下所示:

public int fact(int x)
{
   if (x < 1)
      return 1;
   else
      return x * fact(x - 1);
}

纯函数式编程很有趣，因为它永远不会返回，程序所做的只是求值。您需要问自己“这个表达式的计算结果是什么？”