La respuesta breve es: tiene razón en sus sospechas, siempre necesita otro intérprete escrito en X o un compilador de Y en algún otro idioma para el que ya tenga un intérprete. Los intérpretes se ejecutan, los compiladores solo traducen de un idioma a otro, en algún punto de su sistema, debe haber un intérprete ... incluso es solo la CPU.
No importa cuántos intérpretes nuevos escriba en el lenguaje Y , siempre tendrá que usar el primer intérprete escrito en X para interpretar a los intérpretes posteriores. Esto parece ser un problema simplemente debido a la naturaleza de los intérpretes.
Correcto. Lo que puede hacer es escribir un compilador desde Y al intérprete escrito en X X (u otro idioma para el que tenga un intérprete), e incluso se puede hacer eso en Y . Luego puede ejecutar su compilador Y escrito en Y en el intérprete Y escrito en X (o en el intérprete Y escrito en Y ejecutado en el intérprete Y escrito en X , o en el intérprete Y escrito en Y ejecutado en el intérprete Y escrito en Y corriendo en la Y , o ... hasta el infinito) para compilar su intérprete Y escrito en Y a X , para que luego pueda ejecutarlo en un intérprete X. De esa manera, se ha deshecho de su intérprete Y escrito en X , pero ahora necesita el intérprete X (sabemos que ya tenemos uno, ya que de lo contrario no podríamos ejecutar el intérprete X escrito en Y ), y usted tuvo que escribir un compilador Y -a- X primero.
Sin embargo , por otro lado, el artículo de Wikipedia sobre intérpretes en realidad habla sobre intérpretes independientes. Aquí hay un pequeño extracto que es relevante:
Un autointerpretador es un intérprete de lenguaje de programación escrito en un lenguaje de programación que puede interpretarse a sí mismo; Un ejemplo es un intérprete BASIC escrito en BASIC. Los autointerpretadores están relacionados con los compiladores de autohospedaje.
Si no existe un compilador para que el lenguaje sea interpretado, la creación de un autointerpretador requiere la implementación del lenguaje en un lenguaje anfitrión (que puede ser otro lenguaje de programación o ensamblador). Al tener un primer intérprete como este, el sistema se inicia y se pueden desarrollar nuevas versiones del intérprete en el lenguaje mismo.
Sin embargo, todavía no me queda claro cómo se haría exactamente esto. Parece que pase lo que pase, siempre se verá obligado a utilizar la primera versión de su intérprete escrita en el idioma del host.
Correcto. Tenga en cuenta que el artículo de Wikipedia dice explícitamente que necesita una segunda implementación de su idioma, y no dice que puede deshacerse de la primera.
Ahora, el artículo mencionado anteriormente enlaza con otro artículo en el que Wikipedia da algunos ejemplos de supuestos intérpretes independientes. Sin embargo, después de una inspección más cercana, parece que la parte principal de "interpretación" de muchos de esos intérpretes independientes (especialmente algunos de los más comunes como PyPy o Rubinius) en realidad están escritos en otros lenguajes como C ++ o C.
De nuevo, correcto. Esos son realmente malos ejemplos. Tome Rubinius, por ejemplo. Sí, es cierto que la parte Ruby de Rubinius es autohospedada, pero es un compilador, no un intérprete: compila el código fuente de Ruby en el código de bytes de Rubinius. La parte del intérprete OTOH no está autohospedada: interpreta el código de bytes de Rubinius, pero está escrito en C ++. Por lo tanto, llamar a Rubinius un "intérprete alojado en sí mismo" es incorrecto: la auto-organizada parte no es un intérprete y el intérprete pieza no está alojado en sí mismo .
PyPy es similar, pero aún más incorrecto: ni siquiera está escrito en Python en primer lugar, está escrito en RPython, que es un lenguaje diferente. Es sintácticamente similar a Python, semánticamente un "subconjunto extendido", pero en realidad es un lenguaje de tipo estático aproximadamente en el mismo nivel de abstracción que Java, y su implementación es un compilador con múltiples backends que compila RPython en código fuente C, ECMAScript código fuente, código de bytes CIL, código de bytes JVM o código fuente Python.
Entonces, ¿es posible lo que describo anteriormente? ¿Puede un intérprete de host propio ser independiente de su host original? Si es así, ¿cómo se haría esto exactamente?
No, no solo. Debería conservar el intérprete original o escribir un compilador y compilar su propio intérprete.
No son algunos meta-circular de máquinas virtuales, tales como Klein (escrito en auto ) y Maxine (escrito en Java). Sin embargo, tenga en cuenta que aquí la definición de "meta-circular" es aún diferente: estas máquinas virtuales no están escritas en el lenguaje que ejecutan: Klein ejecuta Self bytecode pero está escrito en Self, Maxine ejecuta JVM bytecode pero está escrito en Java. Sin embargo, el código fuente Self / Java de la VM en realidad se compila en el código de bytes Self / JVM y luego se ejecuta por la VM, por lo que para cuando se ejecuta la VM, está en el idioma en que se ejecuta. Uf.
Tenga en cuenta también que esto es diferente de las máquinas virtuales como SqueakVM y Jikes RVM . Jikes está escrito en Java, y el SqueakVM está escrito en Slang (un subconjunto semántico y sintáctico de Smalltalk de tipo estático aproximadamente en el mismo nivel de abstracción que un ensamblador de alto nivel), y ambos se compilan estáticamente en código nativo antes de ejecutarse. No corren dentro de sí mismos. Usted puede , sin embargo, ejecutarlos en la parte superior de sí mismos (o encima de otro Smalltalk VM / JVM). Pero eso no es "meta-circular" en este sentido.
Maxine y Klein, OTOH hacencorrer dentro de ellos mismos; ejecutan su propio código de bytes utilizando su propia implementación. ¡Esto es realmente alucinante! Permite algunas oportunidades de optimización geniales, por ejemplo, dado que la VM se ejecuta junto con el programa del usuario, puede alinear las llamadas del programa del usuario a la VM y viceversa, por ejemplo, la llamada al recolector de basura o el asignador de memoria se pueden incorporar al usuario código, y las devoluciones de llamada reflexivas en el código de usuario pueden integrarse en la VM. Además, todos los trucos de optimización inteligentes que hacen las máquinas virtuales modernas, donde miran el programa en ejecución y lo optimizan dependiendo de la carga de trabajo y los datos reales, la máquina virtual puede aplicar esos mismos trucos a sí misma mientras ejecuta el programa de usuario mientras el programa de usuario está ejecutando la carga de trabajo específica. En otras palabras, la VM se especializó altamente para esoprograma particular que ejecuta esa carga de trabajo particular.
Sin embargo, ¿noté que eludí el uso de la palabra "intérprete" anterior y siempre usé "ejecutar"? Bueno, esas máquinas virtuales no se basan en intérpretes, sino en compiladores (JIT). Posteriormente, se agregó un intérprete a Maxine, pero siempre se necesita el compilador: debe ejecutar la VM una vez encima de otra VM (por ejemplo, Oracle HotSpot en el caso de Maxine), para que la VM pueda compilarse (JIT). En el caso de Maxine, JIT compilará su propia fase de arranque, luego serializará ese código nativo compilado en una imagen VM de arranque y pegará un cargador de arranque muy simple en el frente (el único componente de la VM escrito en C, aunque eso es solo por conveniencia , podría estar en Java también). Ahora puedes usar Maxine para ejecutarse.