i understand it as a pure functional OS running on a pure functional VM with a pure functional memory model (tree not buffer). IO is event sourced and thus the

i understand it as a pure functional OS running on a pure functional VM with a pure functional memory model (tree not buffer). IO is event sourced and thus the computer is deterministic. That makes possible some new stuff on top that any sensible person would do, so they did it.