…in-progress. Personally, I think the computational challenges that still need to be tackled to bring Interaction Nets to life remain intractable (as do Asperti and Guerrini, in IIRC chapter 10 of The Optimal Implementation of Functional Programming Languages; Victor mentions basing his implementation of Asperti and Guerrini's work, which makes it surprising that Victor is surprised that optimal reduction has edge cases), but any serious effort in this direction…
…HVM since February last year and was quite convinced that they were really up to something; however now that I've gone through a pile of papers on Linear Logic and the book which HVM is based on (The Optimal Implementation of Functional Programming Languages, Asperti and Guerrini, https://www.amazon.co.jp/-/en/Andrea-Asperti/dp/0521621127), I believe that among other things, the issue presented here https://github.com/HigherOrderCO/HVM/issues/60 is really…
……在 IC 之上加了一层，使得它并不严格符合 beta-optimal，但尽管如此，加进来的东西在实践中很有用，而且相比理论行为，实际上的降级是极小的。[1] Andrea Asperti, The Optimal Implementation of Functional Programming Languages, ISBN-13: 978-0060815424 [2] https://github.com/HigherOrderCO/HVM3/blob/main/src/HVML/Run... [3] https://github.com/HigherOrderCO/HVM/blob/main/src/hvm.c [4] https://github.com/HigherOrderCO/HVM/blob/main/src/hvm.rs……
…on top of ICs that makes it not strictly beta-optimal, but nevertheless the stuff added is useful in practice and the practical downgrade from theoretical behaviour is minimal. [1] Andrea Asperti, The Optimal Implementation of Functional Programming Languages, ISBN-13: 978-0060815424 [2] https://github.com/HigherOrderCO/HVM3/blob/main/src/HVML/Run... [3] https://github.com/HigherOrderCO/HVM/blob/main/src/hvm.c [4] https://github.com/HigherOrderCO/HVM/blob/main/src/hvm.rs…
这成果真是把我震撼到了。另外我也超喜欢这个 README！你确实提到了你基本上就是实现了《The Optimal Implementation of Functional Programming Languages》第14-39页的内容。你知道为什么原书作者当年没有亲自去实现它吗？还有，是什么促成了你最近在内存布局上的突破？走向这个结果的思考历程是怎样的？
This work is mindblowing me to me. Also I love the README! You did mention that you pretty much implement pages 14-39 of The Optimal Implementation of Functional Programming Languages. Any idea why the authors of the book didn't implement it themselves? Also, what lead you to this recent memory layout breakthrough. What was the journey of thinking towards this end?
……进行中。就我个人而言，我认为要让 Interaction Nets 真正落地仍需攻克的计算挑战依然是棘手到无法解决的（Asperti 和 Guerrini 也是这么认为的，没记错的话是在《The Optimal Implementation of Functional Programming Languages》第10章；Victor 提到他的实现是基于 Asperti 和 Guerrini 的研究，这就让人很意外 Victor 居然会惊讶于 optimal reduction 存在边界情况），但是在这个方向上的任何认真尝试……
…in-progress. Personally, I think the computational challenges that still need to be tackled to bring Interaction Nets to life remain intractable (as do Asperti and Guerrini, in IIRC chapter 10 of The Optimal Implementation of Functional Programming Languages; Victor mentions basing his implementation of Asperti and Guerrini's work, which makes it surprising that Victor is surprised that optimal reduction has edge cases), but any serious effort in this direction…
……从去年二月起我就在关注 HVM，当时非常笃信他们真的搞出了什么大名堂；然而现在我啃了一堆关于线性逻辑（Linear Logic）的论文，还有 HVM 所基于的那本书（Asperti 和 Guerrini 写的《The Optimal Implementation of Functional Programming Languages》，https://www.amazon.co.jp/-/en/Andrea-Asperti/dp/0521621127）之后，我认为除了其他问题之外，这里提交的 issue https://github.com/HigherOrderCO/HVM/issues/60 确实是……
…HVM since February last year and was quite convinced that they were really up to something; however now that I've gone through a pile of papers on Linear Logic and the book which HVM is based on (The Optimal Implementation of Functional Programming Languages, Asperti and Guerrini, https://www.amazon.co.jp/-/en/Andrea-Asperti/dp/0521621127), I believe that among other things, the issue presented here https://github.com/HigherOrderCO/HVM/issues/60 is really…
……在 IC 之上加了一层，使得它并不严格符合 beta-optimal，但尽管如此，加进来的东西在实践中很有用，而且相比理论行为，实际上的降级是极小的。[1] Andrea Asperti, The Optimal Implementation of Functional Programming Languages, ISBN-13: 978-0060815424 [2] https://github.com/HigherOrderCO/HVM3/blob/main/src/HVML/Run... [3] https://github.com/HigherOrderCO/HVM/blob/main/src/hvm.c [4] https://github.com/HigherOrderCO/HVM/blob/main/src/hvm.rs……
…on top of ICs that makes it not strictly beta-optimal, but nevertheless the stuff added is useful in practice and the practical downgrade from theoretical behaviour is minimal. [1] Andrea Asperti, The Optimal Implementation of Functional Programming Languages, ISBN-13: 978-0060815424 [2] https://github.com/HigherOrderCO/HVM3/blob/main/src/HVML/Run... [3] https://github.com/HigherOrderCO/HVM/blob/main/src/hvm.c [4] https://github.com/HigherOrderCO/HVM/blob/main/src/hvm.rs…
这成果真是把我震撼到了。另外我也超喜欢这个 README！你确实提到了你基本上就是实现了《The Optimal Implementation of Functional Programming Languages》第14-39页的内容。你知道为什么原书作者当年没有亲自去实现它吗？还有，是什么促成了你最近在内存布局上的突破？走向这个结果的思考历程是怎样的？
This work is mindblowing me to me. Also I love the README! You did mention that you pretty much implement pages 14-39 of The Optimal Implementation of Functional Programming Languages. Any idea why the authors of the book didn't implement it themselves? Also, what lead you to this recent memory layout breakthrough. What was the journey of thinking towards this end?