为什么 PureScript 编译器会生成大量“| 0”

Question

以下 PureScript 代码：

fibs 0 = 1
fibs 1 = 1
fibs n = fibs (n-1) + fibs (n-2)

编译为以下 JavaScript：

var fibs = function (v) {
    if (v === 0) {
        return 1;
    };
    if (v === 1) {
        return 1;
    };
    return fibs(v - 1 | 0) + fibs(v - 2 | 0) | 0;
};

这一切都很有意义，除了“| 0”似乎有点不必要。是优化吗？或者让它对 undefined 或 NaN 具有鲁棒性？

Answer 1

为整数插入 |0 可确保值不会意外变为浮点数或超出 int32 的范围 - 这保证了按位运算在 Int 值上的行为也将与预期一样。

理论上它可能是一种优化，因为 asm.js 将 |0 视为一个值也是 int 的提示，但我认为在实践中，它对普通 JS 程序有影响是一厢情愿的想法！