核心没有优化?

关于这个问题的评论似乎已经回答了大约90%的问题;重申一下:

• 几乎所有的发布二进制文件都是用--debug:pdbonly编译的
• 即使IL代码是次最优的,但由于JIT对其进行了优化,这可能不会产生任何实际影响。

当然,F编译器可以通过各种方式发出更好的代码(这可能适用于每一个编译器);如果你分析你的应用并注意到一些不好的地方(例如,与来自C的可比代码存在很大的差异),那么你可以通过发送fsbug让F团队知道。但首先要测量。

否则,期望运行时的完全优化版本是合法的吗?

您建议的更改不能合理地视为优化。两者都是无害的,将由虚拟机编译掉。由于基于堆栈的虚拟机可以进行堆栈溢出,因此使用变异来替换堆栈。所以这就是f正确处理clr中的bug。