Un lenguaje compilado es cualquier lenguaje de programación cuyo código fuente se traduzca a instrucciones directamente interpretables por el hardware usando un compilador.
El compilador es un programa que traduce un programa escrito en un lenguaje de programación a instrucciones directamente interpretables por el hardware, conocido como lenguaje de máquina.
Existen diferentes tipos de compiladores según cómo traduzcan el lenguaje de programación a código de máquina, estos tipos no son excluyentes por lo que puede haber compiladores que se adscriban a varias categorías:
- Compiladores cruzados: generan código para un sistema distinto del que están funcionando.
- Compiladores optimizadores: realizan cambios en el código para mejorar su eficiencia, pero manteniendo la funcionalidad del programa original.
- Compiladores de una sola pasada: generan el código máquina a partir de una única lectura del código fuente.
- Compiladores de varias pasadas: necesitan leer el código fuente varias veces antes de poder producir el código máquina.
- Compiladores JIT (Just In Time): forman parte de un intérprete y compilan partes del código según se necesitan.