Comment by vintermann

But that's just about how things look in the higher level language, right? Implementation wise, it's still interaction nets, so...?

I'm interested in a wider comparison, and understanding why you didn't go with HVM, especially as the low-level runtime.