长度函数的尾递归版本是否在运行时节省了堆栈空间？

问题描述

要求我将F＃length函数更改为尾递归函数。

let rec len xs = 
  match xs with 
    | [] -> 0 
    | x::xr -> 1 + len xr;;

虽然这不是一个困难的练习，但我想知道是否更改为尾递归版本，例如下面的版本，

let rec leni xs r = 
  match xs with 
    | [] -> r 
    | x::xr -> leni xr r+1;;

与非尾递归相比，确实在运行时节省了堆栈空间？

解决方法

暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！

如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。

小编邮箱:dio#foxmail.com (将#修改为@）