in thread "Higher-order Virtual Machine (HVM). New functional programming VM based on Interaction Nets.": As an old lambda calculus and Haskell guy, I think this is very cool. It would take a ton of effort to realize its potential (as with all PL stacks), but I'll certainly be watching it. It would be incredible to see ASICs optimized for Interaction Networks ... 1y ago (collapse hidden) log in to judge received 2.8 2.8 As an old lambda cal (view hidden) log in to judge received 2.8 2.8