프로그래밍 언어 분류

다양한 프로그래밍 언어

프로그래밍 언어는 정말로 다양하다. C부터 Java, C#, python, Go, Swift, PHP, JavaScript 등등 끝도 없이 나열할 수 있을 정도로 무수히 많은 프로그래밍 언어가 존재한다.

이런 다양한 프로그래밍 언어들도 컴파일 방식, 메모리 처리 방법 등 여러 기준에 따라 분류를 가능하다.  이번 포스트는 프로그래밍 언어를 분류하는 기준을 소개하려고 한다. 아래 기준을 통해 프로그램 언어들을 분류해보자.

 

프로그래밍 언어 분류기준

1. 저수준 vs 고수준

 

2. 컴파일 vs 인터프리터

 

3. 강한 타입 vs 약한 타입

 

4. 매니지드 vs 언매니지드

 

---

1. 저수준 언어 vs 고수준 언어

구분	저수준 언어(Low-level language)	고수준 언어(High-level language)
	기준: 저수준 고수준의 기준은 기계가 이해기에 친숙한가에 따라 나뉜다.
이해	컴퓨터가 이해하기 쉬운 언어	인간이 이해하기 쉬운 언어
Ex	0과 1로만 이루어짐	인간이 사용하는 언어로 이루어짐
특징	기계어(machine code)	어셈블리어, C, C+, Java, C#
	컴퓨터가 바로 이해하므로 변환 과정이 필요 없음	컴퓨터가 이해하는 ‘기계어’로 변환하는 과정이 필요
	컴퓨터가 이해하기 쉬운 언어에 가까울수록 저수준, 인간이 이해하기 쉬운 언어에 가까울수록 고수준이며 저수준 언어와 고수준 언어는 상대적임

2. 컴파일 언어 vs 인터프리터 언어

2.1 컴파일언어

	컴파일 언어(Compiled language)
이해	소스코드를 컴파일해줘서 기계가 이해할 수 있는 기계어로 바꿔준다.
대표언어	C, C++
처리과정	소스코드 -> 컴파일러(소스코드를 기계어로 바꾸어서) -> 기계어 -> 실행
장점	다양한 최적화가 가능하다. (크로스플랫폼이 가장 널리 지원된다.)
단점	플랫폼마다 다른 exe파일을 컴파일해야 한다. (CPU, 운영체제 마다 이해하는 기계어가 다를 수 있기 때문)

컴파일

 

2.2 JIT 컴파일 언어

	JIT(Just-In-Time) 컴파일 언어
이해	오프라인 컴파일러가 소스 코드를 중간 언어로 컴파일
대표언어	C#, Java, WASM(WebAssembly)
처리과정	소스코드 -> 컴파일러 -> 중간 언어 코드 -> JIT 컴파일러 -> 기계어 -> 실행
특징	최종 고객이 실행하는 파일은 기계에서 도는 것이 아닌 중간단계의 가상머신에서 돈다. 플랫폼 별로 VM(Virtual Machine)을 설치해야 한다. 프로그램 실행 중에 VM이 중간 언어를 기계가 이해하는 언어로 바꿔서 실행 Java나 C#은 플랫폼에 종속적이지 않고 VM에 종속적임

JIT

 

2.3 인터프리터 언어

	인터프리터 언어(Interpreter language)
이해	실행 중에 고수준 언어를 네이티브 코드로 해석해서 실행함
대표언어	JavaScript, Python, Lua, PHP
처리과정	소스코드 -> 인터프리터(소스코드를 기계어로 해석을 해서) -> 기계어 -> 실행
장점	컴파일 과정이 없어서 빠르게 돌릴 수 있다.
단점	오류를 제때 잡아내기 힘들다. 실제로 실행하기 전까지 코드의 문제를 잡아낼 수 없음(오프라인 컴파일러가 없기 때문)

 

3. 강한 타입 언어 vs 약한 타입 언어

구분	강한 타입 언어	약한 타입 언어
	기준: 변수 선언(변수의 용도)과 관련 있음. - 변수형을 선언한 후에 변수형을 변경할 수 있나?
이해	NO - 변수형을 변경할 수 없다.	YES - 변수형을 변경할 수 있다.
Ex	C, C++, C#, Java	JavaScript
특징	타입이 정해져 있는 언어를 쓰는 이유는 변수에 어떤 타입이 들어가는 지를 명확히 알 수 있기 때문에 타입이 정해져 있지 않을 때 범할 수 있는 실수를 미리 판단할 수 있다. 협업을 할 경우에도 어떠한 변수의 타입이 무엇인지 모를 경우 실수할 가능성이 높아진다. 타입이 정해져 있지 않다면 기계가 실제로 코드를 실행하기 전까지 실수를 찾을 수 없다. 이러한 이유로 상용코드(제품)를 작성할 때는 강한 타입 언어들이 일반적으로 사용된다.

 

 

4. 매니지드 언어 vs 언매니지드 언어

구분	매니지드 언어	언매니지드 언어
	누가 메모리의 수명(라이프 사이클)을 관리하냐가 핵심
이해	프로그램에서 큰 데이터를 사용하려면 운영체제(OS)로부터 독점적으로 사용할 메모리를  확보해야 함 그리고 데이터를 다 사용한 뒤에는 OS에 메모리를 반환해야 함
Ex	Java, C#, JavaScript, Lua	C, C++
특징	프로그래밍 언어가 더 이상 메모리를 사용 안 하는 상  황을 판단하여 메모리를 반환해 줌	프로그래머가 책임지고 메모리를 반환해야 함
	성능이 중요하지 않은 프로그램을 만들 때	성능이 중요한 프로그램을 만들 때
	매니지드 언어가 실수가 적고 편하긴 함, 그러나 어림짐작이 명시적 표현보다 효율적일 수 없음

[Unity] 유니티란? 게임개발을 위한 엔진 유니티를 소개합니다

[Unity] 유니티란? 게임개발을 위한 엔진 유니티를 소개합니다