Código como datos

En informática, la expresión «código como datos» se refiere a la idea de que el código fuente escrito en un lenguaje de programación puede manipularse como datos, como una secuencia de caracteres o un árbol de sintaxis abstracta (AST), y que solo tiene una semántica de ejecución en el contexto de un compilador o intérprete determinado . ^{[ 1 ]} Esta noción se usa a menudo en el contexto de lenguajes tipo Lisp que utilizan expresiones S como su sintaxis principal, ya que escribir programas usando listas anidadas de símbolos hace que la interpretación del programa como un AST sea bastante transparente (una propiedad conocida como homoiconicidad ). ^{[ 2 ] [ 3 ]}

Estas ideas se utilizan generalmente en el contexto de lo que se denomina metaprogramación , que consiste en escribir programas que tratan a otros programas como si fueran sus datos. ^{[ 4 ] [ 5 ]} Por ejemplo, el código como datos permite la serialización de funciones de primera clase de forma portable. ^{[ 6 ]} Otro caso de uso es almacenar un programa en una cadena, que luego es procesada por un compilador para producir un ejecutable. ^{[ 4 ]} Con mayor frecuencia, existe una API de reflexión que expone la estructura de un programa como un objeto dentro del lenguaje, reduciendo la posibilidad de crear un programa mal formado. ^{[ 7 ]}

En teoría computacional , el segundo teorema de recursión de Kleene proporciona una forma de código-es-datos, al demostrar que un programa puede tener acceso a su propio código fuente. ^{[ 8 ]}

El concepto de código como datos es también un principio de la arquitectura de Von Neumann , ya que tanto los programas como los datos almacenados se representan como bits en el mismo dispositivo de memoria. ^{[ 4 ]} Esta arquitectura ofrece la posibilidad de escribir código automodificable . Sin embargo, también conlleva el riesgo de seguridad de disfrazar un programa malicioso como datos de usuario y, posteriormente, utilizar una vulnerabilidad para dirigir la ejecución hacia dicho programa. ^{[ 9 ]}

En la programación declarativa , el principio de datos como código (DaC) se refiere a la idea de que una estructura de datos arbitraria puede exponerse utilizando una semántica de lenguaje especializada o una API. Por ejemplo, una lista de enteros o una cadena son datos, pero en lenguajes como Lisp y Perl, pueden ingresarse y evaluarse directamente como código. ^{[ 1 ]} Los scripts de configuración , los lenguajes específicos de dominio y los lenguajes de marcado son casos en los que la ejecución del programa se controla mediante elementos de datos que no son claramente secuencias de comandos. ^{[ 10 ] [ 11 ]}