1-2. 프로그래밍 언어 분류

개요

프로그래밍 언어를 분류하는 세 가지 핵심 기준인 추상화 수준, 실행 모델, 설계 철학과 비프로그래밍 언어의 차이를 정리한다.

---

추상화 수준에 따른 분류

추상화 수준이란 프로그래밍 언어가 컴퓨터 하드웨어와 인간의 사고체계 중 어디에 더 가까운지를 의미한다. 추상화 수준이 높을수록 인간이 이해하기 쉬운 고급 언어라고 부르고, 낮을수록 컴퓨터가 이해하기 쉬운 저급 언어라고 부른다.

저급 언어 (Low-level Language)

컴퓨터 하드웨어 구조에 가깝게 설계된 언어로, 기계어와 어셈블리어가 여기에 속한다.

• 저급 언어의 특징
  • 하드웨어 직접 제어: 물리 메모리 주소, CPU 레지스터, 입출력 포트 등을 코드로 직접 지정한다.
  • CPU 아키텍처 종속: 특정 하드웨어의 설계에 의존하기 때문에 서로 다른 구조의 CPU 간에는 코드가 호환되지 않는다.
  • 추상화 부재: 인간 친화적인 문법이나 자료구조 없이 원시적인 명령어로만 구성되어 있다.
• 장점
  • 높은 실행 성능: 하드웨어를 직접 제어하므로 불필요한 중간 번역 과정이 없어 실행 속도가 빠르다.
  • 미세 자원 통제: 메모리 배치 구조와 CPU 클록 타이밍 등을 비트 단위로 섬세하게 통제할 수 있다.
• 단점
  • 이식성 결여: 하드웨어 환경이 바뀌면 코드를 처음부터 다시 작성해야 한다.
  • 낮은 생산성: 단순한 동작을 구현하는 데도 상당한 지식과 노력이 필요하며, 코드 분석이 어려워 유지보수가 극도로 힘들다.

고급 언어 (High-level Language)

인간의 사고방식과 자연어에 가깝게 설계된 언어로, 대부분의 프로그래밍 언어가 여기에 속한다.

• 고급 언어의 특징
  • 인간 중심 문법: 자연어(주로 영어) 어휘와 수학적 수식을 기반으로 직관적인 코드를 작성할 수 있다.
  • 하드웨어 추상화: CPU 레지스터 조작, 메모리 주소 할당 등 복잡한 물리적 동작을 컴파일러나 런타임이 대신 처리한다.
  • 플랫폼 독립성: 표준 문법에 맞춰 작성하면, 특정 컴파일러나 인터프리터를 통해 다양한 플랫폼에서 동일한 코드를 재사용할 수 있다.
• 장점
  • 높은 생산성과 가독성: 코드가 간결하고 논리 파악이 쉬워 개발 속도가 빠르고 유지보수가 편리하다.
  • 안전성: 타입 검사, 메모리 범위 검사 등 언어 차원의 오류 방지 장치가 내장되어 실수 위험이 감소한다.
• 단점
  • 실행 오버헤드: 사람이 다루기 편하도록 만든 추상화 계층을 거치면서 최적화된 저급 언어에 비해 실행 속도나 메모리 점유율에서 추가적인 비용(오버헤드)이 발생한다.
  • 하드웨어 직접 제어의 한계: 특정 CPU 제어 레지스터, 캐시 제어 명령어 등을 코드로 직접 조작하는 데 한계가 있다.

저급 언어가 필요한 경우

고급 언어는 저급 언어에 비해 생산성과 이식성이 압도적이기 때문에 현대에 전체 소프트웨어를 저급 언어로 작성하는 경우는 거의 없다. 하지만 하드웨어를 직접 다뤄야 하는 영역에서는 여전히 필수적으로 사용된다.

• 시스템 부팅 및 하드웨어 기동
  • 컴퓨터 전원이 켜지는 순간에는 운영체제, 메모리 관리자, 고급 언어를 실행할 런타임 환경 등이 존재하지 않는다. 따라서 고급 언어가 작동할 최소한의 환경을 구축하기 위해 저급 언어를 사용한다.
• 하드웨어 최적화
  • 특수한 딥러닝 연산, 암호화 알고리즘 등 1클록 사이클의 오차도 허용되지 않는 경우 사용한다.
• 보안 취약점 분석
  • 소스코드가 없는 상용 소프트웨어의 취약점을 점검할 때, 실행 바이너리를 어셈블리어로 역추적하여 동작 원리를 분석한다

---

실행 모델에 따른 분류

작성한 소스코드가 컴퓨터 하드웨어에서 실제로 번역되고 실행되는 방식에 따른 분류이다.

컴파일 언어 (Compiled Language)

소스코드 전체를 실행 전에 기계어로 일괄 번역(컴파일)하여 단독 실행 파일을 생성하는 언어이다.

• 컴파일 언어 특징
  • 단계 분리: 컴파일 단계와 실행 단계가 명확히 분리되어 있으며, 코드가 바뀌지 않는 한 컴파일은 최초 한 번만 수행한다.
  • 독립 실행 파일 생성: 컴파일 결과물로 순수 기계어 실행 파일이 생성된다.
  • 종류: C, C++, Rust, Go 등
• 장점
  • 높은 실행 성능: 번역 과정이 사전에 완료되어 CPU가 명령어를 즉시 처리하므로 실행 속도가 매우 빠르다.
  • 효율적인 자원 관리: 가상 머신이나 런타임 해석기 없이 하드웨어 자원을 직접 통제할 수 있어 메모리와 CPU를 효율적으로 사용한다.
  • 코드 은닉: 소스코드가 아닌 기계어 바이너리 형태의 실행 파일로 배포되므로 핵심 로직의 유출을 방어하기 유리하다.
• 단점
  • 느린 빌드 및 수정 주기: 코드를 단 한 줄만 고쳐도 전체 또는 일부를 다시 컴파일하고 링크해야 하므로 수정 주기가 길어진다.
  • 플랫폼 종속성: 컴파일된 실행 파일은 특정 운영체제와 CPU 아키텍처에 종속되므로, 다른 환경에서 실행하려면 해당 플랫폼에 맞춰 다시 컴파일해야 한다.

인터프리터 언어 (Interpreted Language)

사전 빌드 과정 없이, 런타임에 소스코드를 한 줄씩 읽고 즉시 해석하며 실행하는 언어이다.

• 인터프리터 언어 특징
  • 실시간 번역 및 실행: 번역과 실행이 런타임에 동시에 수행되며, 별도의 실행 파일을 생성하지 않는다.
  • 동적 제어 친화성: 실행 도중 새로운 코드를 읽어들이거나 변수 타입을 유연하게 바꾸기 용이하다.
  • 종류: Python, JavaScript, Ruby 등
• 장점
  • 플랫폼 독립성: 특정 운영체제용 실행 파일을 만들 필요 없이, 해당 언어의 인터프리터만 설치되어 있으면 동일한 소스코드를 어디서든 실행할 수 있다.
  • 빠른 개발과 피드백: 컴파일을 기다릴 필요 없이 코드를 저장하고 즉시 실행해 결과를 확인할 수 있어 프로토타이핑에 유리하다.
• 단점
  • 느린 실행 속도: 실행할 때마다 코드를 번역하고 구문을 분석하는 오버헤드가 발생하여 순수 연산 속도가 상대적으로 느리다.
  • 높은 자원 점유: 백그라운드에서 인터프리터 엔진이 상시 구동되어야 하므로 메모리와 CPU 자원을 추가로 소모한다.
  • 소스코드 노출: 일반적으로 소스코드가 그대로 배포되기 때문에 로직 보안에 취약하다.

하이브리드 언어 (Hybrid Language)

컴파일 언어의 실행 성능과 인터프리터 언어의 플랫폼 독립성을 결합한 언어이다.

• 동작 방식
  • 소스코드를 특정 하드웨어가 아닌 가상 머신이 이해할 수 있는 중간 규격인 바이트코드(Bytecode)로 1차 컴파일한다.
  • 소프트웨어로 구현된 가상 머신이 바이트코드를 인터프리터 방식으로 해석 및 실행한다.
  • JIT(Just-In-Time) 컴파일: 자주 반복 실행되는 핵심 코드 블록을 런타임에 실시간으로 기계어로 컴파일하여 실행 속도를 대폭 끌어올린다.
• 특징
  • 성능: 중간 바이트코드 최적화와 JIT 컴파일로 순수 인터프리터 언어보다 훨씬 빠르다. 다만 컴파일 언어에 비하면 성능이 낮을 수 있다.
  • 높은 생산성과 이식성: 운영체제별로 각각 컴파일할 필요 없이 가상 머신만 있으면 동일한 바이트코드를 그대로 실행할 수 있다.
  • 종류: Java, C# 등

---

설계 철학에 따른 분류

프로그래밍은 단순히 코드를 작성하는 작업을 넘어 문제를 분석하고 해결하는 사고방식을 결정하는 과정이다. 문제를 해결하기 위해 프로그램의 논리와 데이터를 어떤 관점으로 구조화할 것인지에 대한 프로그래밍 패러다임에 따른 분류이다.

명령형 언어 (Imperative Language)

컴퓨터가 문제를 어떻게 해결해야 하는지 단계별로 명시하는 방식.

절차적 프로그래밍 (Procedural Programming)

가장 전통적인 프로그래밍 패러다임으로, 프로그램을 순차적으로 실행되는 프로시저들의 흐름으로 구성한다.

• 절차적 프로그래밍 특징
  • 순차적 실행: 논리적 흐름에 따라 위에서 아래로 실행되는 명령문과 함수 호출로 구성된다.
  • 데이터와 함수의 분리: 데이터를 저장하는 변수와 이를 사용하는 함수가 독립적으로 존재한다.
  • 종류: C, Pascal 등
• 장점
  • 직관적인 흐름: 소프트웨어 실행 순서가 하드웨어 동작 방식과 유사하여 코드의 흐름을 이해하기 쉽다.
  • 빠른 프로토타이핑: 복잡한 추상화 설계 없이 당장 필요한 기능을 절차대로 빠르게 구현할 수 있다.
• 단점
  • 높은 유지보수 난이도: 프로그램 규모가 커지면 전역 데이터가 여러 함수에 무분별하게 공유되어 상태 변화를 추적하기 어렵다.
  • 낮은 모듈화: 데이터와 함수가 분리되어 있어 대규모 시스템에서 코드를 안전하게 분리해 재사용하기 까다롭다.

객체 지향 프로그래밍 (Object-oriented Programming)

서로 연관된 데이터(상태)와 이를 처리하는 메서드(기능)를 객체라는 단위로 결합하는 패러다임이다.

• 객체 지향 프로그래밍 특징
  • 현실 세계 모델링: 사물이나 개념을 속성(데이터)과 행동(메서드)을 가진 객체로 추상화하여 표현한다.
  • 모듈화: 대규모 프로젝트에서 각 모듈(클래스)을 독립적으로 개발한 후 조립하는 것이 가능하다.
  • 종류: C++, C#, Python, Java 등
• 장점
  • 유지보수 용이: 데이터와 기능이 캡슐화되어 있어 특정 코드를 수정할 때 외부 코드에 미치는 영향이 적다.
  • 높은 재사용성과 확장성: 상속과 다형성 메커니즘을 통해 기존 코드를 손상시키지 않고 새로운 기능을 손쉽게 확장할 수 있다.
• 단점
  • 초기 설계 비용: 객체 간의 관계와 책임을 정밀하게 정의해야 하므로 초기 설계에 많은 시간과 노력이 든다.
  • 실행 오버헤드: 객체 생성과 메서드 간접 호출(가상 함수 테이블 등)로 인해 절차적 언어에 비해 약간의 메모리 및 런타임 오버헤드가 발생한다.

선언형 언어 (Declarative Language)

해결 과정을 일일이 나열하지 않고, 달성하고자 하는 목표 결과가 무엇인지 명세하는 데 집중하는 방식.

함수형 프로그래밍 (Functional Programming)

프로그램의 상태 변경이나 데이터 수정을 배제하고, 수학적 순수 함수들의 조합으로 연산 결과를 도출한다.

• 함수형 프로그래밍 특징
  • 불변성: 기존 데이터를 수정하지 않고, 새로운 연산 결과가 필요할 때 새 데이터를 생성해 반환한다.
  • 순수 함수: 동일한 입력에는 언제나 동일한 출력을 반환하며, 함수 외부의 상태를 변경하는 부작용이 없다.
  • 종류: Haskell, Lisp, Erlang 등
• 장점
  • 병렬 처리 안정성: 여러 스레드가 동일한 데이터에 동시에 접근해도 상태가 변하지 않으므로 동기화 충돌 문제가 발생하지 않는다.
  • 높은 예측 가능성: 외부 변수의 상태 변화에 영향을 받지 않아 디버깅과 테스트가 매우 간편하다.
• 단점
  • 성능 오버헤드: 불변성을 유지하기 위해 상태가 변경될 때마다 새로운 데이터를 생성해야 하므로 메모리 사용이 증가한다.
  • 높은 진입 장벽: 일상적인 사고방식(명령/절차)과 달라 함수 합성, 재귀 등의 고차원적 개념을 학습하는 데 숙련이 필요하다.

---

프로그래밍 언어가 아닌 경우

프로그래밍 언어는 수학적, 논리적 연산과 제어 흐름을 스스로 수행할 수 있어야 한다. 아래 언어들은 컴퓨터 언어에는 속하지만, 프로그래밍 언어로 분류하지 않는 언어들이다.

마크업 언어 (Markup Language)

• 문서의 형식이나 데이터의 구조를 명시하기 위한 컴퓨터 언어이다.
• 자체적인 계산이나 논리적 분기 기능이 없다.
• 문법 오류가 있어도 프로그램이 중단되지 않고 깨진 형태로 출력된다.
• 종류: HTML, XML, Markdown 등

스타일시트 언어 (Stylesheet Language)

• 마크업 언어로 작성된 뼈대에 시각적 스타일과 레이아웃을 정의한다.
• 독립적으로 동작하지 못하며, 반드시 마크업 문서와 결합하여 사용된다.
• 종류: CSS, SASS/SCSS 등

질의 언어 (Query Language)

• 데이터베이스 시스템에 저장된 대량의 데이터 집합에서 원하는 조건의 데이터를 조회하고 조작한다.
• 데이터를 어떻게 찾아올 것인가가 아닌, 원하는 조건의 데이터가 무엇인가에 집중한다.
• 종류: SQL 등