Chapter3 - 递归 - Recursion

 

递归表示定义的这个函数能够调用他自身。换句话说，这个函数

能在定义自己的时候再调用自己。

在函数式编程中经常会使用递归来代替循环。

大多数人认为，递归能够是你的代码跟容易让别人理解。

在F#中使用递归，我们只需要在定义的时候，在函数名前加上关键字

rec 即可，下面的例子就递归的用法（译者：虽然用递归这样来处理

斐波拉契数并不一定是个合适的选择）

 

let rec fib x =
　　match x with
　　| 1 -> 1
　　| 2 -> 1
　　| x -> fib(x - 1) + fib(x - 2)

printfn "(fib 2) = %i" (fib 2)

printfn "(fib 6) = %i" (fib 6)

 

结果:

     (fib 2) = 1

　　　　(fib 6) = 8

 

上面的函数计算第x个斐波拉契数的值。

斐波拉契数列的定义是：

    第n个值等于第n-1跟第n-2的和。

虽然函数的递归调用是非常强大并且能够容易理解的，但我们仍要小心的使用它，

因为他随时会造成函数无法退出，或者帧栈溢出的问题(译者：在操作系统中，每次函数调用时

使用的参数，其实都是会存储在该进程的帧栈中的，他同时也会用来保存当前的状态，

因为栈的先进后出原则是非常适合来做这些处理的，而在.net中，默认的帧栈分配是1M，

当栈满的时候，他就会抛出栈溢出异常 System.StackOverflowException)

 

ps:上面的递归调用其实也使用了，F#的另一个特性，就是模式匹配，我们会在后面的章节讲到