선언형 프로그래밍

선언형 프로그래밍에서 사용자는 컴퓨터에 어떻게 할지가 아니라 무엇을 할지를 지시합니다.

그 결과, 최종 시스템은 흔히 존재해야 하는 모습 그대로 기술됩니다. 그러면 관리 프로그램(여기서는 Nix)이 최종 출력에 이르는 경로를 구성하고 필요한 단계를 요구되는 순서대로 수행할 수 있으므로, 사용자는 정확히 무슨 일이 언제 일어나는지 신경 쓸 필요가 없습니다.

Nix는 몇 가지 사소한 예외를 제외하면 패키지 정의(또는 derivation)를 구성하는 방식에서 선언형 원칙을 따릅니다.

내부적으로는 패키지의 일부를 여전히 명령형으로 작성해야 하지만, 이러한 부분을 선언형 계층으로 감싸면 상위 계층의 사용자는 그 아래에서 무슨 일이 일어나는지 알 필요가 없습니다.

요컨대 한 사용자가 문제를 한 번 해결하면, 많은 사람이 그 해결책이 정확히 어떻게 동작하는지 알 필요 없이(원한다면 알아볼 수도 있습니다) 그 혜택을 누릴 수 있습니다.