… HVM4 現在包含一種通用方法，可以將交互演算函數編譯為零開銷機器程式碼，包括具有疊加的函數。 請注意，HVM2（Bend 最初使用的版本）始終依賴解釋器。我們承諾最終會對其進行編譯。 HVM3 僅編譯類 Haskell 函數，在這些情況下效能提升超過 100 倍，但當涉及疊加態時，仍需要回退到「解釋器」。最後，HVM4 首次能夠以完全編譯模式運行交互演算函數，即使是包含疊加態的函數，也無需任何額外開銷。 很奇怪，我們竟然把互動網絡推向了前所未有的高度，以至於連個能交流進展的人都沒有。這個領域幾乎不存在，沒有論文，沒有會議，也沒有社群。我的推文基本上就是在探索人類對這個典範認知的極限。這感覺真的很尷尬，我覺得這主要是因為它本身就非常反直覺。 總而言之，以下是一條簡要的提交信息，解釋了該演算法的最後一種情況：如何處理將靜態（已編譯）疊加應用於動態參數的情況…
