Do interaction nets have any interesting properties that make them useful for distributed computing? Think IoT, edge computing, embedded, that kind of thing?
And synchronization primitives?
I wanted to also say I loved reading the documentation. Your idea of places, spaces and values feels like a waaay more intuitive naming scheme for than what's common in CS.
The time-travel example also felt oddly intuitive to me. I don't really care that it uses black magic underneath, it's quite elegant!
And synchronization primitives?
I wanted to also say I loved reading the documentation. Your idea of places, spaces and values feels like a waaay more intuitive naming scheme for than what's common in CS.
The time-travel example also felt oddly intuitive to me. I don't really care that it uses black magic underneath, it's quite elegant!