Higher-order Virtual Machine (HVM). New functional programming VM based on Interaction Nets. https://github.com/HigherOrderCO/HVM/tree/master posted 1y ago with 4 replies (collapse hidden) log in to judge received 7.6 7.6 1.2 1.2 Higher-order Virtual (view hidden) log in to judge received 7.6 7.6 1.2 1.2 Not to turn this place into Lambda the Ultimate, but if you're into lambda calculus autism and optimal reduction order stuff, this seems very cool. Apparently new techniques based on Interaction Networks allow a lazy non garbage collected vm to reduce some... 1y ago (collapse hidden) log in to judge received 4.2 4.2 Not to turn this pla (view hidden) log in to judge received 4.2 4.2 Yeah Bend is the language built on the HVM. I haven't looked into it yet but I'd love to try it out when I get a chance. The other one I've recently been wanting to check out is Zig. It really does look like C with the problems fixed. But I have no great p... 1y ago (collapse hidden) log in to judge received 2.9 2.9 Yeah Bend is the lan (view hidden) log in to judge received 2.9 2.9