> This post describes something like Erlang actors, but if each can be a pure function encoded in WASM...

Not just a dream. https://github.com/fluencelabs/fluence