NixOs is a PurelyFunctionalOperatingSystem. http://nixos.org