It kind of asks "What if we built an OS, but with all data sourced from immutable, append-only logs processed by pure functios?"

Probably not literally realizable right now, but IMHO, the closer we can get, the better