The optimal implementation of functional programming languages
by Andrea Asperti · first published 1998
4mentions
0recommended by
3HN commenters
2022–2024first – last mentioned
100% neutral
Affiliate links. As an Amazon Associate I earn from qualifying purchases.
…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…
on “Higher-Order Virtual Machine (HVM)” ↗…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…
on “Higher-Order Virtual Machine (HVM)” ↗…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…
on “Borrow Checking, RC, GC, and Eleven Other Memory Safety Approaches” ↗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?
on “High-order Virtual Machine (HVM): Massively parallel, optimal functional runtime” ↗