Язык Nix создан для удобного описания и комбинирования дериваций — точных инструкций о том, как на основе существующих файлов получить новые файлы. Это предметно-ориентированный, чисто функциональный, лениво вычисляемый язык программирования с динамической типизацией. Кстати, это от ребят которые NixOS делают