명령형 vs 선언형 프로그래밍: 정말 용어를 구분할 필요가 있을까?

gpt 한테 이거 뭐 대단한거라고 구분하냐고 물어봤다가 따끔하게 혼났습니다.

꾸짖음 공유합니다.

가끔 dog shake it cow shake it 욕도하고 사과할때까지 죽도록 욕도해주고 하는데 이럴때는 돈값하는것 같습니다.

제목:

명령형 vs 선언형 프로그래밍: 정말 용어를 구분할 필요가 있을까?

소개

프로그래밍에서 자주 언급되는 두 가지 스타일, 명령형 프로그래밍과 선언형 프로그래밍. 얼핏 보면 선언형은 "명령형을 미리 적어놓은 것"처럼 보이기도 합니다. 그렇다면, 용어까지 구분해야 할 만큼의 큰 차이가 있는 걸까요? 이번 글에서는 두 스타일의 본질적인 차이를 이해하고, 이 질문에 대한 명확한 답을 찾아보겠습니다.

1. 명령형과 선언형의 간단한 정의

명령형 프로그래밍 (Imperative Programming)

• "어떻게(how)" 작업을 수행할지를 단계별로 명시하는 스타일.

• 프로그래머가 직접 제어 흐름(반복, 조건 등)을 작성.

선언형 프로그래밍 (Declarative Programming)

• *"무엇(what)"*을 하고 싶은지 표현하는 스타일.

• 작업의 구현 세부 사항은 숨기고, 결과에 집중.

2. 명령형과 선언형: 정말 큰 차이가 있을까?

"선언형은 단지 명령형을 미리 적어놓은 것 아닌가?"

이 질문은 합리적입니다. 선언형 프로그래밍을 처음 접하면 "결국 명령형 로직이 내부적으로 숨어 있는 것 아닌가?"라는 의문이 들 수 있습니다. 선언형 API(예: Stream API) 역시 내부적으로 명령형 코드(반복, 조건 등)로 구현되기 때문에, 결국 명령형과 같지 않은가? 라는 생각이 들기 마련입니다.

하지만, 선언형은 단순히 "명령형을 감춘 것" 이상입니다. 그 핵심은 "어떻게"를 숨기고, "무엇"에만 집중하게 만드는 철학과 추상화에 있습니다.

3. 명령형과 선언형 비교: 같은 작업, 다른 스타일

명령형 예제: 짝수 필터링

List<Integer> numbers = Arrays.asList(1, 2, 3, 4, 5);
List<Integer> evenNumbers = new ArrayList<>();

for (int number : numbers) {
    if (number % 2 == 0) {
        evenNumbers.add(number);
    }
}
System.out.println(evenNumbers);

• 어떻게(how): 반복(루프), 조건(if), 리스트 추가(add)를 명시적으로 작성.

• 프로그래머가 직접 제어 흐름을 관리.

선언형 예제: 짝수 필터링

List<Integer> evenNumbers = numbers.stream()
                                   .filter(n -> n % 2 == 0)
                                   .collect(Collectors.toList());
System.out.println(evenNumbers);

• 무엇(what): "짝수를 필터링(filter)하고 리스트로 수집(collect)"하겠다는 의도만 표현.

• 반복, 조건, 리스트 추가 등은 API가 내부적으로 처리.

4. 선언형의 차별점: 단순히 명령형의 축약이 아니다

1) 추상화로 의도 전달

• 명령형 코드에서는 *"무엇을 하고 싶은지"보다 "어떻게 할지"*가 두드러집니다.

• 선언형 코드는 작업의 의도를 더 명확히 전달합니다.

  • 예: filter는 "필터링하겠다"는 의도를 바로 보여줍니다.

• 의도를 전달하는 코드는 더 읽기 쉽고, 협업에서 이해하기 쉬운 장점이 있습니다.

2) 유지보수성과 확장성

• 명령형은 작업의 세부 흐름이 노출되어 있어 수정이 어렵습니다.

• 선언형은 내부 구현을 신경 쓸 필요 없이 비즈니스 로직에만 집중할 수 있어 유지보수가 용이합니다.

예를 들어, 병렬 처리를 추가해야 하는 경우:

• 명령형:

  // 병렬 처리 로직을 수동으로 작성해야 함
  ExecutorService executor = Executors.newFixedThreadPool(4);
  List<Future<Integer>> futures = new ArrayList<>();
  
  for (int number : numbers) {
      futures.add(executor.submit(() -> number % 2 == 0 ? number : null));
  }
  

  복잡한 병렬 처리 로직 추가.

• 선언형:

  numbers.parallelStream()
         .filter(n -> n % 2 == 0)
         .collect(Collectors.toList());
  

  병렬 스트림으로 간단히 구현.

3) 고수준 API와 함수형 프로그래밍

• 선언형은 함수형 프로그래밍 패러다임을 적극 활용합니다.

  • 예: map, filter, reduce와 같은 고수준 메서드.

• 상태 변경을 최소화하며, 데이터의 불변성을 유지합니다.

5. 용어를 구분할 이유

"명령형 vs 선언형" 용어 구분의 필요성

1. 사고방식의 변화

   • 명령형 프로그래밍은 "내가 프로세스를 컨트롤해야 한다"는 사고방식에 기반.

   • 선언형 프로그래밍은 "프로세스는 신경 쓰지 말고 결과만 기술하라"는 철학을 반영.

   • 이 사고방식의 차이를 반영하기 위해 용어가 구분됩니다.

2. 추상화 수준의 표현

   • 선언형은 단순히 "명령형을 숨긴 것"이 아니라, 더 높은 수준의 추상화를 제공.

   • 프로그래밍 언어의 발전에서 "어떻게"보다 "무엇"에 집중하도록 요구가 커짐.

3. 현대적인 프로그래밍 패러다임

   • 선언형 스타일은 함수형 프로그래밍, 병렬 처리, 데이터 파이프라인 등 현대 프로그래밍에서 핵심적인 요구를 충족.

6. 명령형과 선언형의 조화

명령형과 선언형은 서로 대체 관계가 아닌 보완 관계입니다. 특정 작업에는 명령형이, 또 다른 작업에는 선언형이 더 적합합니다.

언제 명령형을 선택할까?

• 제어 흐름이 중요한 작업 (예: 반복 횟수나 인덱스가 필요한 경우).

• 작업이 간단하고 복잡한 추상화가 필요 없는 경우.

언제 선언형을 선택할까?

• 데이터 처리, 병렬 처리 등 추상화된 작업이 필요한 경우.

• 코드 가독성과 유지보수가 중요한 경우.

결론: 용어를 구분할 충분한 이유가 있다

명령형과 선언형 프로그래밍은 겉보기에는 단순히 "같은 작업을 다른 스타일로 표현"하는 것처럼 보일 수 있습니다. 하지만 선언형 프로그래밍은 단순한 코드 축약이 아니라, 어떻게(how)를 숨기고 무엇(what)에 집중하게 만드는 철학과 추상화를 포함합니다.

결론적으로, 명령형과 선언형이라는 용어를 구분하는 이유는 개발자들에게 추상화와 사고방식의 차이를 명확히 전달하기 위함입니다. 두 스타일의 차이를 이해하고, 상황에 따라 적절히 활용하는 것이 현대 프로그래밍에서 가장 중요한 기술 중 하나입니다.

여러분은 어떤 스타일을 선호하시나요? 명령형, 선언형, 또는 둘의 조화를 추구하시나요? 댓글로 의견을 나눠보세요! 😊