정의

선언형 프로그래밍은 프로그램이 ‘어떤 방법’으로 해야 하는 지를 나타내기보다 ‘무엇’과 같은 지를 설명하는 경우이다.
- 프로그래머는 결과를 얻기 위해 어떻게 할 지를 명시하지 않고, 원하는 결과를 기술한다.
- 그 결과에 대한 구체적인 단계나 절차는 숨겨져 있다.
- 이에 대한 처리는 언어나 런타임 시스템이 알아서 이루어진다.
선언형 프로그래밍은 명령형 프로그래밍과 반대되는 개념이다.
일반적으로 도메인별 언어(DSL)와 쌍을 이루는 데이터베이스 및 구성 관리 소프트웨어에서 발견된다.
선언적 모델은 수행할 단계에 대한 명시적인 지침 없이 작업을 수행하기 위해 언어의 사전 구성된 기능에 의존한다.
- 즉, 사전 구성된 기능을 활용한다는 것은 언어나 프레임워크에 내장된 사전 구성된 기능을 활용한다는 것이다.
- 개발자는 원하는 결과를 얻기 위해 명시적인 단계나 절차를 작성하지 않고, 언어가 제공하는 기능을 이용한다.
- 또한 그것을 얻기 위해, 실행 단계에 대한 명시적 지침이 없다.
- 예를 들어, SQL은 선언형 언어의 한 예인데,사용자가 데이터베이스에서 원하는 데이터를 요청할 때 “어떻게” 그 데이터를 가져올 지에 대한 명령을 작성하지 않고, 원하는 데이터를 “무엇”으로 명시한다. SQL 엔진이 내부에서 어떻게 데이터를 가져올지 결정하고 처리한다.
선언적 프로그래밍 접근 방식은 일부 병령 처리 애플리케이션의 프로그래밍을 단순화하는 데 도움이 된다.

특징

무엇을 표현(WHAT)
- 선언형 프로그램은 무엇에 중점을 둔다.
- 즉 원하는 결과나 상태를 명시적으로 표현한다.
구체적인 단계 생략
- 어떻게를 세부적으로 명시하지 않는다.
- 어떠한 알고리즘이나 특정한 수행 과정에 대한 세부사항은 프로그래머가 명시적으로 작성하지 않는다.
추상화와 은닉
- 선언형 프로그래밍은 내부 동작을 추상화하여 세부 구현을 숨기는 경향이 있다.
- 이로써, 복잡성이 감소하고 코드의 이해와 유지보수가 쉬워진다.
선언적 언어 사용
- SQL은 대표적인 선언형 언어로, 데이터베이스에서 어떤 데이터를 원하는지 선언적으로 기술한다.
- 예를들어, SQL에서 “사용자 테이블에서 이름이 John인 사용자를 찾아라.” 라는 명령은 선언적이며 “무엇”을 요구하는 것이다.
- 실제로 데이터베이스는 어떻게 작업을 수행할 것인지에 대한 구체적인 단계를 명시하지 않는다.

선언형과 명령형의 차이점

명령형 프로그래밍	선언적 프로그래밍**
여기서 프로그램은 수행 방법을 지정합니다.	여기서 프로그램은 수행할 작업을 지정합니다.
이는 단순히 계산의 제어 흐름을 설명합니다.	단순히 계산 논리를 표현한 것입니다.
주요 목표는 그것을 얻거나 달성하는 방법을 설명하는 것입니다.	주요 목표는 원하는 결과를 얻는 방법에 대한 직접적인 지시 없이 원하는 결과를 설명하는 것입니다.
장점으로는 배우고 읽기가 쉽고, 개념적 모델이 이해하기 쉽다는 점 등이 있습니다.	장점으로는 방법을 사용하여 적용할 수 있는 효과적인 코드, 쉬운 확장성, 높은 수준의 추상화 등이 있습니다.
그 유형에는 절차적 프로그래밍, 객체지향 프로그래밍, 병렬 처리 접근 방식이 포함됩니다.	그 유형에는 논리 프로그래밍과 기능적 프로그래밍이 포함됩니다.
이를 통해 사용자는 결정을 내리고 컴파일러에 명령을 내릴 수 있습니다.	주로 원하는 결과를 표현하는 방식으로 동작합니다.
선언적 프로그래밍에 비해 부작용이 많고 변경 가능한 변수가 포함되어 있습니다.	명령형 프로그래밍에 비해 부작용이 없으며 변경 가능한 변수가 포함되어 있지 않습니다.
이는 저수준 프로그래밍에서 매우 중요한 개발자에게 모든 권한을 부여합니다.	코드 구조를 단순화하면서 반복적인 흐름을 자동화할 수 있습니다.
명령형 프로그래밍에서 프로그래머는 성능을 위해 코드를 최적화하는 일을 담당합니다.	선언적 프로그래밍에서 시스템은 프로그래머가 지정한 규칙과 제약 조건을 기반으로 코드를 최적화합니다.
명령형 프로그래밍에서는 변수가 변경될 수 있습니다.	선언적 프로그래밍에서 변수는 일반적으로 불변입니다.

장점

가독성 및 간결성
- 선언형 코드는 목적을 명확하게 표현하기 때문에 가독성이 높고, 간결하게 작성된다.
추상화
- 선언형 프로그래밍은 추상화를 통해 세부 구현을 숨기므로, 복잡한 세부 사항을 처리하지 않아도 된다.
- 이로써 개발자는 높은 수준의 개념과 추상적인 구조에 집중할 수 있다.