... HVM4 现在包含一种通用方法，可以将交互演算函数编译为零开销机器代码，包括具有叠加的函数。 请注意，HVM2（Bend 最初使用的版本）始终依赖于解释器。我们承诺最终会对其进行编译。HVM3 仅编译类 Haskell 函数，在这些情况下性能提升超过 100 倍，但当涉及叠加态时，仍然需要回退到“解释器”。最后，HVM4 首次能够以完全编译模式运行交互演算函数，即使是包含叠加态的函数，也无需任何额外开销。 很奇怪，我们竟然把交互网络推向了前所未有的高度，以至于连个能交流进展的人都没有。这个领域几乎不存在，没有论文，没有会议，也没有社群。我的推文基本上就是在探索人类对这个范式认知的极限。这感觉真的很尴尬，我觉得这主要是因为它本身就非常反直觉。 总之，下面是一条简要的提交信息，解释了该算法的最后一种情况：如何处理将静态（已编译）叠加应用于动态参数的情况……
