... HVM4 には、Interaction Calculus 関数をオーバーヘッドゼロのマシン コード (重ね合わせを含む関数を含む) にコンパイルする一般的なメソッドが含まれるようになりました。 HVM2 (Bend が最初に使用していた) は常にインタプリタに依存していたことに注意してください。最終的にはコンパイルすると約束しました。HVM3はHaskellのような関数のみをコンパイルし、これらの場合に100倍+ブーストを取得しましたが、重ね合わせが関係する場合は「インタプリタ」にフォールバックする必要がありました。最後に、HVM4 は初めて、オーバーヘッドなしで、重ね合わせのある関数であっても、Interaction Calculus 関数を完全なコンパイル モードで実行できるようになりました。 これまでに行われたことのないインタラクションネットを推し進めており、進捗状況を伝えてくれる人さえいないほど、奇妙です。この分野はほとんど存在せず、論文も、慣習も、コミュニティもありません。私のツイートは基本的に、このパラダイムについて人類が知っていることの限界を押し広げています。それは本当に気まずい感じがしますが、これは主にそれが本当に直感的でないことに起因していると思います。 いずれにせよ、以下は、このアルゴリズムの最後のケースを説明する遅延コミットメッセージです:動的引数に静的(コンパイルされた)重ね合わせを適用する方法...