好的,只是在F#中,这就是我现在理解的方式:
有些问题本质上是递归的(构建或读出树结构只能命名一个)然后你使用递归.在这些情况下,您最好使用尾递归来使堆栈中断
有些语言是纯粹的功能,所以你必须使用递归而不是while循环,即使问题不是递归的
所以我的问题是:既然F#也支持命令式范式,你会在F#中使用尾递归来解决那些不是自然递归的问题吗？特别是因为我已经读过编译器重新认识尾递归并且只是在while循环中转换它？
如果是这样:为什么？
我不确定这是否是一个愚蠢的问题,但我正在阅读VS 2010附带的教程,并且有一个这样的函数:
let rec factorial n = if n=0 then 1 else n * factorial (n-1)
这个递归函数用rec关键字标记的原因是什么？
这样编译器可以确保它是递归的,所以可以进行某些优化吗？
如果排除它会怎么样？