... HVM4 现在包含了一种通用方法，可以将交互演算函数编译为零开销的机器代码，包括具有叠加的函数。 请注意，HVM2（Bend 最初使用的版本）始终依赖于解释器。我们承诺最终会编译它。HVM3 仅编译类似 Haskell 的函数，在这些情况下获得了 100 倍以上的提升，但在涉及叠加时仍然需要回退到 "解释器"。最终，HVM4 首次能够以完全编译模式运行交互演算函数，包括这些具有叠加的函数，且没有任何开销。 我们将交互网络推向前所未有的高度，这种情况很奇怪，以至于我们甚至没有人来传达进展。这个领域几乎不存在，没有论文，没有规范，没有社区。我的推文基本上是在推动人类对这一范式的认知边界。这感觉真的很尴尬，我认为这主要归因于它确实不直观。 无论如何，下面是一个懒惰的提交信息，解释了该算法的最后一个案例：如何处理将静态（编译的）叠加应用于动态参数...