I've looked into Nix, and I like what it's accomplishing in principle with atomic upgrades/rollbacks, but I felt very frustrated by their clunky package "DSL." I use quotes because it appears that they are trying to encompass an entire programming language worth of constructs. Why they didn't go with an existing real programming/scripting language is beyond me.