프로그래밍 언어의 비교
전반적인 비교

아래의 표는 주요 프로그래밍 언어를 비교하고 있다. 자세한 정보는 각 언어별 문서를 참조.
| 언어   | 실행 모델   | 영향 받음   | 방법론  | 타입 시스템  | 등장시기 |
| --- | --- | --- | --- | --- | --- |
| 에이다 | 컴파일러 | 알골 (Ada 83), 파스칼, C++ (Ada 95), 스몰토크 (Ada 95), 자바 (Ada 2005) | 동시성, 분산, 제네릭, 명령형, 객체지향 | static, strong, safe, nominative | 1983 |
| 알골 | 컴파일러 |  | 명령형 | static, strong, safe | 1958 |
| 알골 60 | 컴파일러 | 알골 58 | 명령형 | static and dynamic typing, strong, safe | 1960 |
| 알골 68 | 인터프리터 / 컴파일러 / JIT 컴파일러 | 알골 60 | 동시성, 명령형 | static and dynamic typing, strong, safe, structural | 1968 |
| APL | 대부분 인터프리터, 약간 컴파일러 |  | 배열지향 |  | 1964 |
| B | 인터프리터, 컴파일러 | BCPL, Bon | 명령형 |  | 1969 |
| 베이직 | 인터프리터, 컴파일러 |  |  |  | 1963 |
| C | 컴파일러 | 알골 68, B | 명령형, flow-driven | static, weak, unsafe | 1973 |
| C++  | 컴파일러  | C, 시뮬라, 알골 68  | 명령형, 객체지향, 제네릭, 다중 플랫폼 | static, strong, unsafe, nominative   | 1985   |
| C#  | JIT 컴파일러  | 델파이, 자바, C++, 파이썬  | 명령형, 객체지향, 제네릭  | static, strong, both safe and unsafe   | 2000   |
| 코볼  | 컴파일러  | FLOW-MATIC, COMTRAN  | 명령형, 객체지향  | weak/strong   | 1959   |
| 콜드퓨전  | JIT 컴파일러  | HTML  | 절차적, 함수형, 객체지향  | dynamic (덕 타이핑), weak   | 1995   |
| 커먼 리스프  | 컴파일러  | 리스프, 스몰토크  | 명령형, 함수형, 객체지향  | dynamic, strong, safe   | 1984   |
| D  | 컴파일러  | C, C++, 자바, C#  | 명령형, 객체지향, 제네릭  | static, strong, unsafe, contracts   | 2000   |
| Eiffel  | 컴파일러  | 에이다, 시뮬라  | 명령형, 객체지향, 제네릭  | static, strong, safe, nominative, contracts   | 1985   |
| 얼랭  | 컴파일러 / 인터프리터 / JIT 컴파일러  | 프롤로그, Ericsson Pascal, CSP   | 함수형, 동시성, 분산, 다중 플랫폼   | dynamic, weak   | 1987   |
| F#  | JIT 컴파일러  | C#, 오브젝티브 Caml  | 함수형, 객체지향, 명령형, 제네릭  | static, strong, safe, nominative, 타입 유추  | 2005   |
| Forth  | 인터프리터 / 컴파일러  | RPN, 어셈블리어  | 명령형, 스택지향  | typeless   | 1977   |
| 포트란  | 컴파일러  | APL (포트란 90), 알골 68 (포트란 90), C (포트란 2003)   | 명령형, 절차적, 객체지향  | static, strong, safe, nominative   | 1957   |
| 하스켈  | 인터프리터 / 컴파일러  | 미란다, ML, λ-calculus  | 함수형, 제네릭, lazy evaluation  | static, strong, 타입 유추   | 1990   |
| 아이오  | 인터프리터  | 스몰토크, 셀프, 루아, NewtonScript, Act1  | 명령형, 객체지향  | dynamic   | 2002   |
| 자바  | 인터프리터 / JIT 컴파일러  | C++, 오브젝티브-C, C#  | 명령형, 객체지향, 다중 플랫폼, 제네릭  | static, strong   | 1994   |
| 자바스크립트  | 인터프리터, JIT 컴파일  | C, 셀프, awk, Perl  | 명령형, 객체지향, 함수형  | dynamic   | 1995   |
| Joy  | 인터프리터  | RPN, Forth, 포스트스크립트  | 함수형, 스택지향  | typeless   | 2005   |
| 리스프  | 인터프리터, 컴파일러  | λ-calculus  | 함수형  | dynamic, strong   | 1958   |
| 루아  | 인터프리터, JIT 컴파일러  | 파이썬, 아이콘, 리스프, 스킴  | 절차적, 명령형, 반영  | dynamic, strong, safe   | 1993   |
| Mathematica  | 인터프리터  | 리스프, APL  | 함수형, 절차적  | dynamic, strong   | 1986   |
| 오브젝티브-C  | 컴파일러  | C, 스몰토크  | 명령형, 객체지향  | static/dynamic hybrid, strong   | 1986   |
| 오브젝티브 Caml  | 인터프리터 / 컴파일러  | ML, 리스프  | 객체지향, 함수형, 명령형, 제네릭  | static, safe, structural, 타입 유추   | 1996   |
| 오브젝트 파스칼 (델파이)   | 컴파일러  | 파스칼  | 명령형, 객체지향, 다중 플랫폼   | static, strong, safe (but unsafe allowed), nominative   | 1985   |
| 오즈  | 컴파일러 / 인터프리터  | 프롤로그  | 논리형, 함수형, 명령형, 객체지향, 동시  |   | 1991   |
| 파스칼  | 컴파일러  | 알골 60  | 명령형  | static, strong, safe   | 1970   |
| Perl  | 인터프리터  | C, 셸, awk, sed, 리스프  | 함수형, 객체지향, 절차적  | dynamic   | 1987   |
| PHP  | 인터프리터  | Perl, C, C++, 자바  | 명령형, 객체지향  | dynamic, weak   | 1995 |
| 프롤로그  | 컴파일러 (WAM)   |   | 논리형-oriented  | dynamic, strong   | 1972   |
| 파이썬  | 인터프리터 / JIT 컴파일러  | ABC, 알골 68, C, Perl, 모듈라-3  | 명령형, 객체지향, 함수형, 애스펙트지향  | dynamic (덕 타이핑), strong   | 1991   |
| 루비  | 인터프리터  | 스몰토크, Perl, 파이썬, 리스프  | 명령형, 객체지향, 함수형, 애스펙트지향  | dynamic (덕 타이핑), strong   | 1995   |
| 스칼라  | 인터프리터 / 컴파일러  | 자바  | 객체지향, 함수형, 제네릭  | static, strong, 일부 타입 유추  | 2003   |
| 스킴  | 인터프리터 / 컴파일러  | 리스프, 알골 60  | 함수형  | latent   | 1975   |
| 본 셸  | 인터프리터  | 알골 68  | 명령형  | weak   | 1977   |
| 스몰토크  | JIT 컴파일러  | Sketchpad, 시뮬라, 리스프  | 객체지향, 함수형, 동시, 이벤트 처리, 명령형, 선언형  | dynamic, strong, safe, 덕 타이핑  | 1971   |
| Tcl  | 인터프리터 / JIT 컴파일러  | C, 리스프, 셸, awk, sed  | 함수형, 객체지향, 명령형, 절차적, 이벤트 처리  | dynamic   | 1988   |
| 비주얼 베이직  | 컴파일러  | 퀵베이직  | 컴포넌트 지향, 이벤트 처리  | static/dynamic hybrid, weak/strong hybrid, safe, nominative   | 1991   |
| 비주얼 베이직 닷넷  | JIT 컴파일러  | 비주얼 베이직  | 객체지향, 이벤트 처리  | static, strong   | 2001   |
| 비주얼 프롤로그  | 컴파일러  | 프롤로그, C++, C#, 하스켈, SML  | 논리형, 객체지향, 함수형, 이벤트 처리, 명령형, 선언형  | static, strong, safe, nominative/structural   | 1985   |