프로그래밍언어

프로그래밍언어
프로그래밍 언어는 컴퓨터 시스템을 구동시키는 소프트웨어를 작성하기 위한 언어이다. 고급 언어일수록 사람이 사용하는 언어에 가깝다.

A언어 : 과거에는 ALGOL을 의미했다. (ALGOL은 Algorithm Language의 약자로, 알고리즘 연구개발을 위해 만들어졌다.) 현재는 특정 프로그래밍 언어를 지칭한다기 보다, 구조화된 프로그래밍 언어를 지칭하는 용어로 이용한다.
B언어 : 켄 톰슨(Ken Thompson)이 DEC사의 PDP-7으로 어셈블리어로 유닉스라는 운영 체제를 만들게 되었는데, 이후 이 운영 체제를 고급언어로 다시 만들기 위해 마틴 리차드(Matin Richards)의 BCPL(Basic CPL, CPL = COmbined Programming Language)을 바탕으로 B라는 언어를 만들게 되었다. 이 언어는 자료형이 없었는데, 이는 C언어를 만드는 계기가 되었다.
C언어 : 켄 톰슨이 만든 B언어를 보고, 그의 동료였던 데니스 리치가 1972년에 B언어에 데이터 유형 개념을 추가하여 만든 언어이다. 이후 유닉스의 구현언어로 B언어를 제치고 C언어가 채택되면서 이듬해인 1973년에 C언어로 구현된 유닉스가 만들어지게 되었다.

Syntax
프로그래밍언어의 외형을 구문 (프로그래밍 언어)

단어(word): 문자가 어떻게 토큰을 형성하는지를 결정하는 어휘적 수준
구(phrase): 어떻게 토큰이 구를 형성하는지를 결정하는 문법 수준
컨텍스트(context): 어느 객체나 변수 이름이 참조하는지를 결정 (형이 유효한지 등)

Semantics
Syntax구문에 반대되는 프로그래밍언어를 의미
StatementProgramming languages
x += yC, C++, C#, Java, JavaScript, Python, Ruby, etc.

Type system
Data type, Type system, and Type safety
data type or simply type is a classification of data which tells the compiler or interpreter how the programmer intends to use the data.