Es un lenguaje de programación cuyas implementaciones son normalmente compiladores (traductores que generan código de máquina a partir del código fuente) y no intérpretes (ejecutores paso a paso del código fuente, donde no se lleva a cabo una traducción en la preejecución).
Los programas compilados a código nativo en tiempo de compilación tienden a ser más rápidos que los traducidos en tiempo de ejecución, debido a la sobrecarga del proceso de traducción.
Algunos lenguajes que comúnmente se consideran compilados:
|
ALGOL |
Ada | Lush |
|
SMALL |
BASIC |
Lisp |
|
C |
CLEO |
G |
| COBOL | Cobra | Mercury |
| Common Lisp | Delphi | Meta Lenguaje |
| Eiffel | Factor (las últimas versiones) | Modula-2 |
| Forth | Fortran | Modula-3 |
| Go | Haskell | Open-URQ |
| Haxe (to bytecode) | IBM RPG | PureBasic |
| Java (a bytecode) | JOVIAL | Pascal |