왜 “언어”와 “구현”을 나눠서 봐야 하는가

C 언어로 변수를 선언하고 반복문을 돌리고 함수를 호출해 본 사람은 많습니다. 하지만 “그 C 코드를 실제로 실행 가능한 기계어로 바꿔주는 도구가 무엇인가”라는 질문에는 선뜻 답하지 못하는 경우가 많습니다. 코드를 짜는 경험과 그 코드가 왜 그렇게 동작하는지 설계 원리를 아는 것은 전혀 다른 문제입니다. 독학사 프로그래밍언어론은 후자, 즉 “언어가 어떻게 설계되고, 그 설계가 왜 그런 형태를 띠며, 실행 시점에는 무슨 일이 벌어지는가”를 다루는 과목입니다.

쉽게 말하면: 이 과목은 “코드를 어떻게 짜는가”가 아니라 “언어 자체가 어떤 원리로 만들어지고 실행되는가”를 다룹니다.

이 구분이 첫 편의 핵심 이유입니다. 응시자는 이미 C나 Java 같은 언어로 코드를 짤 수 있지만, “언어(language)“라는 것 자체를 하나의 연구 대상으로 놓고 분석해 본 경험은 없는 경우가 많습니다. 그래서 이번 편에서는 본격적인 개념(구문·의미·바인딩·스코프 등)에 들어가기 전에, 언어라는 대상을 어떤 관점에서 바라볼 것인지 지도를 그립니다.

1. 프로그래밍 언어란 무엇인가 — 개념적 정의

프로그래밍 언어(programming language)는 사람이 컴퓨터에게 수행할 작업을 정확하고 모호하지 않게 지시하기 위해 정해 놓은 표기 체계와 규칙의 집합입니다. 여기서 핵심은 두 가지입니다.

• 표기 체계: 어떤 기호와 단어를 어떤 순서로 나열할 수 있는지에 대한 규칙, 즉 구문(syntax)입니다.
• 의미 규칙: 그렇게 나열된 기호가 실제로 무엇을 뜻하는지, 실행되면 어떤 결과를 내는지에 대한 규칙, 즉 의미(semantics)입니다.

예를 들어 x = x + 1이라는 문장을 봅시다. = 기호를 어디에 어떻게 쓸 수 있는지는 구문의 문제이고, 이 문장이 실행되면 “변수 x가 가리키는 메모리 위치에 기존 값보다 1 큰 값을 저장한다”는 것은 의미의 문제입니다. 프로그래밍 언어는 이 구문과 의미를 한 쌍으로 묶어 정의한 체계입니다. 구문과 의미를 형식적으로 기술하는 방법(BNF/EBNF, 정적·동적 의미)은 02편과 08편에서 본격적으로 다룹니다. 이번 편에서는 “언어란 구문과 의미의 규칙 집합이다”라는 큰 그림만 잡아 둡니다.

자주 틀리는 점: 프로그래밍 언어를 “특정 회사나 단체가 만든 도구 이름”(예: Python, Java)으로만 이해하면, 시험에서 “언어의 정의”를 묻는 개념형 문제에 취약해집니다. 언어는 도구의 브랜드가 아니라 구문 규칙과 의미 규칙의 집합 그 자체를 가리키는 추상적 개념이라는 점을 기억해야 합니다.

2. 언어(language)와 구현(implementation)의 구분

여기서 이번 편의 가장 중요한 개념이 등장합니다. “C 언어”와 “GCC(GNU Compiler Collection)“는 같은 것이 아닙니다.

쉽게 말하면: 언어는 “규칙”, 구현은 그 규칙대로 실제로 코드를 실행해 주는 “도구”입니다.

• 언어(language): 구문·의미 규칙의 집합 그 자체. C 언어라는 규격서(표준안)가 정의하는 문법과 의미가 여기 해당합니다.
• 구현(implementation): 그 규칙에 따라 작성된 코드를 실제로 실행 가능한 형태로 바꾸거나 직접 실행해 주는 소프트웨어. GCC, Clang, CPython, JVM(Java Virtual Machine) 등이 여기 해당합니다.

같은 언어라도 구현체는 여러 개가 있을 수 있습니다. C 언어라는 하나의 표준을 GCC도 구현하고 Clang도 구현합니다. 두 구현이 만들어 내는 실행 파일은 다를 수 있지만, “C 언어 표준을 따른다”는 점에서는 같은 언어를 구현한 것입니다.

구현 방식: 컴파일과 인터프리트

언어를 실제로 실행 가능하게 만드는 방식은 크게 두 가지로 나뉩니다.

실제로는 이 두 방식을 섞은 하이브리드 구현도 널리 쓰입니다. Java는 소스 코드를 바이트코드(bytecode)라는 중간 형태로 먼저 컴파일하고, 이 바이트코드를 JVM(Java Virtual Machine, 자바 가상 머신)이 다시 해석하거나 즉석에서 기계어로 변환(JIT 컴파일, Just-In-Time compilation)해 실행합니다. Python 역시 소스 코드를 .pyc라는 바이트코드로 컴파일한 뒤 CPython이라는 인터프리터가 이를 실행합니다. 이런 하이브리드 구현 방식의 세부 구조는 21편(언어 구현 방식과 런타임 환경)에서 더 깊게 다룹니다. 이번 편에서는 “구현 방식이 컴파일 하나만 있는 것이 아니다”라는 사실만 확실히 해 둡니다.

자주 틀리는 점: “이 언어는 컴파일 언어다” 또는 “이 언어는 인터프리터 언어다”라는 표현은 사실 정확하지 않습니다. 컴파일과 인터프리트는 언어 자체의 속성이 아니라 구현체의 속성입니다. 예를 들어 C 언어도 이론적으로는 인터프리터로 구현할 수 있고, 실제로 교육용 C 인터프리터도 존재합니다. 시험에서 “어떤 언어는 반드시 컴파일 방식으로만 구현되어야 한다”는 식의 보기가 나오면 틀린 설명일 가능성이 높습니다.

3. 프로그래밍 패러다임 4대 분류

패러다임(paradigm)이란 “문제를 해결하는 사고방식의 틀”을 뜻하는 일반적인 용어입니다. 프로그래밍 언어에서는 코드를 어떤 방식으로 조직하고, 계산을 어떻게 표현할 것인가에 대한 근본적인 접근 방식을 가리킵니다. 독학사 프로그래밍언어론에서는 다음 4가지 패러다임을 기본 분류로 삼습니다.

쉽게 말하면: 패러다임은 “같은 문제를 어떤 사고 틀로 풀 것인가”를 가르는 큰 분류입니다.

네 패러다임을 같은 문제, 즉 “1부터 5까지의 합을 구한다”로 비교해 보겠습니다.

// 명령형(imperative) 방식 — C
int sum = 0;
for (int i = 1; i <= 5; i++) {
    sum = sum + i;
}
// sum에는 15가 남는다

명령형 방식은 “변수 sum을 0으로 두고, i를 1부터 5까지 하나씩 늘려 가며 sum에 더하라”는 순서 있는 절차를 그대로 코드로 옮깁니다. 상태(변수 sum, i의 값)가 문장이 실행될 때마다 바뀌는 것이 핵심입니다.

의사코드(함수형 스타일):
sum([1, 2, 3, 4, 5]) = 1 + sum([2, 3, 4, 5])
                     = 1 + (2 + sum([3, 4, 5]))
                     = 1 + (2 + (3 + sum([4, 5])))
                     = ... = 15

함수형 방식에서는 “리스트의 합은 첫 원소에 나머지 리스트의 합을 더한 것”이라는 수학적 정의(재귀 함수)로 답을 구합니다. 중간에 변수의 상태를 바꾸는 대입문이 없고, 같은 입력에는 항상 같은 출력이 나오는 함수의 조합만 있습니다. 이런 함수형 언어의 핵심 개념(람다·순수 함수·고차 함수)은 22편에서 시험 수준까지 다룹니다.

의사코드(논리형 스타일 — Prolog 느낌):
합계(빈리스트, 0).
합계([머리|꼬리], 합) :- 합계(꼬리, 나머지합), 합 is 머리 + 나머지합.
질의: ?- 합계([1,2,3,4,5], X).
결과: X = 15

논리형 방식에서는 “빈 리스트의 합은 0이다”, “리스트의 합은 첫 원소와 나머지 리스트 합을 더한 것이다”라는 사실과 규칙만 선언해 놓고, “리스트 [1,2,3,4,5]의 합은 무엇인가”라는 질의를 던지면 시스템이 규칙을 따라가며 답을 찾아냅니다. “어떻게 계산할지”가 아니라 “무엇이 참인지”를 선언한다는 점이 명령형·함수형과 근본적으로 다릅니다. Horn 절과 Prolog의 구체적인 구조는 23편에서 다룹니다.

객체지향 방식은 “합을 구하는 로직”을 데이터(리스트)와 묶어 하나의 객체가 스스로 처리하게 만드는 방식이지만, 실제로는 내부적으로 명령형 반복문을 쓰는 경우가 많습니다. 즉 객체지향은 “계산을 어떻게 표현하는가”보다는 “코드를 어떤 단위로 묶고 재사용하는가”에 초점을 맞춘 패러다임이라는 점에서 나머지 셋과 결이 다릅니다. 클래스·상속·다형성 등 객체지향의 세부 개념은 18편에서 다룹니다.

자주 틀리는 점: 하나의 언어가 반드시 하나의 패러다임에만 속하는 것은 아닙니다. 예를 들어 파이썬은 명령형 문법을 기본으로 하면서도 함수형 스타일(람다, map/filter)과 객체지향(클래스)을 모두 지원하는 다중 패러다임(multi-paradigm) 언어입니다. “이 언어는 오직 이 패러다임만 지원한다”는 단정적인 보기는 의심해 봐야 합니다.

4. 독학사 프로그래밍언어론의 시험 범위 지도

이번 과목은 “언어를 어떤 순서로 뜯어보는가”라는 기준으로 아래와 같은 큰 흐름을 가집니다. 이 지도를 기억해 두면, 이후 편에서 다루는 개념이 전체 그림의 어느 위치에 있는지 헷갈리지 않습니다.

비유로 정리하면, 이 과목은 자동차를 배우는 것에 비유할 수 있습니다. 0105편(선행)이 “자동차, 엔진, 바퀴, 운전대”라는 용어를 처음 정리하는 단계라면, 0607편은 “자동차가 왜 이런 모습으로 발전해 왔는가”라는 역사와 설계 철학이고, 0816편은 “엔진이 실제로 어떻게 동력을 만들어내는가”라는 내부 원리이며, 1723편은 “다양한 종류의 차(세단·트럭·전기차)가 서로 어떻게 다른 설계 철학을 갖는가”에 해당합니다.

핵심 정리

• 프로그래밍 언어는 구문(syntax)과 의미(semantics) 규칙의 집합이며, 그 규칙을 실제로 실행 가능하게 만드는 소프트웨어(컴파일러·인터프리터)인 구현(implementation)과 구분해야 한다.
• 구현 방식은 컴파일(전체를 미리 번역)과 인터프리트(한 줄씩 즉시 실행)로 나뉘며, Java·Python처럼 바이트코드와 가상 머신을 함께 쓰는 하이브리드 구현도 널리 쓰인다. 컴파일·인터프리트는 언어의 속성이 아니라 구현체의 속성이다.
• 프로그래밍 패러다임은 명령형(절차 지시)·객체지향(데이터+동작 묶음)·함수형(수학적 함수 조합)·논리형(사실·규칙과 질의)의 4대 분류로 정리하며, 한 언어가 여러 패러다임을 함께 지원할 수 있다.
• 독학사 프로그래밍언어론은 언어의 배경 → 구문·의미 → 이름·바인딩·스코프·자료형 → 식·제어 구조 → 하위프로그램 → 추상 자료형·OOP → 병행성·예외 → 구현·다른 패러다임 → 기출 순으로 흐르는 큰 지도를 가진다.

마무리 복습

참고 자료

• 국가평생교육진흥원 독학학위제: https://bdes.nile.or.kr