anon_pugo

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 technology informatics

Higher-order Virtual

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

Not to turn this pla

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... 14mo ago

Yeah Bend is the lan