>>when your entire OS is built from the ground up to be declarative and atomic
entire OS?? I guess, the kernel is still imperative and not declarative.
entire OS?? I guess, the kernel is still imperative and not declarative.
I'm pretty excited about rust based operating system experiments, though it'll probably be 10+ years before we can start using them seriously in production (and operating system kernels have a lot of unpleasant stateful things to deal with, so likely will never be particularly pure no matter what language they're written in).
Anyway, Nix is cool stuff that I think is interesting and novel.