명령형 프로그래밍

명령형 프로그래밍은 라틴어 'imperare(주문, 명령)'에서 유래한 명칭으로, 컴퓨터가 차례로 실행해야 할 명령어를 명시적으로 공식화하는 방식이다. 프로그래머는 문제를 해결하기 위해 각 단계를 어떻게 수행해야 하는지 상세히 기술한다. 이는 선언형 프로그래밍과 대비되는 개념으로, 프로그램의 실행 흐름을 직접 제어하는 것이 특징이다. 요리법이나 공정 점검표와 같이 단계별 지시 사항을 따르는 현실 세계의 개념과 유사하다.

명령형 프로그래밍의 핵심은 **상태(State)**와 **구문(Statement)**이다.

• 상태 변화: 변수를 할당하고 값을 변경함으로써 프로그램의 현재 상태를 관리한다. 할당문은 메모리에 있는 정보에 연산을 수행하고 결과값을 나중에 사용하기 위해 저장한다.
• 제어 흐름: 조건문(if), 반복문(for, while) 등을 사용하여 명령의 실행 순서를 결정한다.
• 하드웨어 친화성: 거의 모든 컴퓨터 하드웨어는 기계어를 실행하도록 설계되어 있으며, 이는 명령형으로 작성된다. 따라서 낮은 수준의 관점에서 프로그램의 상태는 메모리의 내용으로 정의되고 구문은 기계어 명령어로 정의된다.

명령형과 선언형은 문제를 해결하는 접근 방식에서 차이를 보인다.

장점

1. 정밀한 제어: 실행 흐름과 메모리 사용에 대해 프로그래머가 완전한 제어권을 가진다.
2. 효율성: 하드웨어 동작 방식과 유사하여 최적화가 용이하고 실행 속도가 빠르다.
3. 직관성: 단계별 절차를 기술하므로 개별 명령어의 역할을 이해하기 쉽다.

단점

1. 복잡성 증가: 대규모 프로젝트에서는 수많은 상태 변화를 추적하기 어려워 유지보수가 복잡해질 수 있다.
2. 부작용(Side Effect): 상태를 직접 변경하므로 예상치 못한 오류가 발생할 가능성이 선언형에 비해 높다.

명령형 패러다임은 운영 체제 개발부터 웹 및 모바일 애플리케이션, 과학 프로그램에 이르기까지 거의 모든 소프트웨어 분야에서 널리 사용된다.

• 절차적 프로그래밍: C, Fortran 등과 같이 프로시저 호출을 기반으로 한다.
• 객체 지향 프로그래밍: Java, C++, C# 등과 같이 객체 간의 상호작용을 통해 상태를 관리한다.
• 다중 패러다임: Python, JavaScript 등은 명령형을 기반으로 하면서도 함수형이나 선언형 요소를 포함한다.