Mono 中的尾调用

Question

我在 F# 中有一些代码在 .net 下运行良好，但在 Mono 下会溢出堆栈。一个相关的问题是它似乎在它应该可用的堆栈空间用完之前很久（它以 System.Threading.Thread (ts, 1000000000) 开始）。据我所知，它的折叠是尾递归的，堆栈跟踪看起来好像没有进行尾优化。我正在使用 --optimize=tailc 运行 3.2.1。

请问有人确切知道哪些尾调用会删除调用堆栈，哪些不会？或者如何分配更多的堆栈？非常感谢。

我知道Tailcall elimination in Mono

编辑：这里是 cmets 中要求的代码大纲。它是大型数据结构折叠的一部分，但失败的堆栈跟踪只有 mapk 和 myfold。

let rec myfold f x k =

   let rec mapk xs k =
    match xs with
     [] -> k []
   | x::xs -> mapk xs (fun xs' -> myfold f x (fun x' -> (x' :: xs') |> k))

... 

mapk (...) ( ... >> k)

Answer 1

据我所知，--optimize=tailc 不是受支持的 F# 编译器标志。

我认为没有办法在 Mono 中启用/禁用尾调用优化支持（无论如何，从命令行）；启用尾调用优化的 F# 编译器标志是 --tailcalls+，但根据 Compiler Options (F#)，默认情况下是启用的。

我认为解决此问题的最佳选择是：

• File a bug report with Xamarin
• 访问 #monodev IRC 频道（在 irc.gnome.org 上），看看那里的开发人员/贡献者是否可以帮助您。