I've been toying with GuixSD recently and really love the immutable system configurations.

There are some caveats, but I would not mind using it on production servers. Sadly I haven't been able to convince my colleagues yet.