问理解Safe.Coerce的文本

EN

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

在编译的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都只返回给定的内容。一旦完成了类型检查，我就不知道它们继续起什么作用了。