了解 Purescript 中的 Safe.Coerce

如何解决了解 Purescript 中的 Safe.Coerce

我一直在查看一些代码片段的编译版本，以深入了解我的代码在运行时的表示方式。

看到编译的 JavaScript 中安全强制和不安全强制相同，我并不感到惊讶。有一个字典传递给安全强制，在我目前查看的代码中未使用/未定义。

似乎如果两种类型的运行时表示相同，那么拥有/使用这种类型就不应该有任何运行时开销。这不是真的，我很想知道原因。

强制两种类型需要在运行时调用函数。我不明白的是，这个函数调用似乎什么也没做。

exports.unsafeCoerce = function (x) {
  return x;
};

---

如果我声明一个新类型

newtype Selection = Selection Int

我在 JavaScript 中看到了类似的东西：

var Selection = function (x) {
  return x;
};

这意味着我可能会在 JavaScript 中看到类似的内容：

return Selection(Data_Int.pow(2)(Safe_Coerce.coerce()(n) - 1 | 0));

应该与此相同：

return Data_Int.pow(2)(n - 1 | 0);

在这种情况下，Selection 和 coerce 都只返回给定的内容。类型检查完成后，我不确定它们继续服务于什么目的。

解决方法

生成代码的原因是这样的，而不是像您建议的那样以更有效的形式生成，是因为 purs 编译器只有一个简单的优化器。

为什么定义 unsafeCoerce 是因为它是一个 PureScript 函数并且必须与 PureScript 函数的运行时表示相匹配。 Selection 也是如此。

约束在字典中表示为函数。前段时间添加了一个优化，使得空字典不必构造为空 JavaScript 对象，而是可以用 undefined 表示。这就是为什么没有参数传递给 coerce。