Un lenguaje compilado es un lenguaje de programación cuyo código fuente normalmente se compila , no se interpreta .
El término es vago ya que, en principio, cualquier lenguaje puede ser compilado o interpretado y en la práctica algunos lenguajes son ambas cosas (en diferentes entornos). [1] En algunos entornos, el código fuente se compila primero (a una forma intermedia; a menudo bytecode ) y luego se interpreta.
Los programas compilados en código nativo tienden a ejecutarse más rápido que si se interpretan debido a la sobrecarga de traducción. Los entornos con una forma intermedia de bytcode tienden a tener una velocidad intermedia. La compilación en tiempo real permite una velocidad de ejecución nativa con un costo de tiempo de procesamiento de inicio único.
Los lenguajes de programación de bajo nivel , como el ensamblador y C , suelen compilarse, especialmente cuando la eficiencia es la principal preocupación, en lugar de la compatibilidad entre plataformas . En estos lenguajes, existen más correspondencias uno a uno entre el código fuente y el código de máquina resultante , lo que facilita a los programadores controlar el uso del hardware.
Es posible escribir compiladores incluso para lenguajes comúnmente interpretados . Por ejemplo, Common Lisp se puede compilar a código de bytes de Java (luego interpretado por la máquina virtual de Java ), código C (luego compilado a código de máquina nativo) o directamente a código nativo.
Los entornos que admiten múltiples lenguajes de salida de compilación brindan a los desarrolladores el control para elegir entre la velocidad de ejecución o la compatibilidad entre plataformas.