Configuration Languages, Type Safety, Functional Configuration, Nix Alternative