¿Qué características de lenguaje se requieren en un lenguaje de programación para hacer un compilador?

Los lenguajes de programación parecen pasar por varias etapas. En primer lugar, alguien sueña con un nuevo idioma, Foo Language. El compilador/intérprete está escrito en otro idioma, generalmente C o algún otro idioma de bajo nivel. En algún momento, FooL madura y crece, y eventualmente alguien, en algún lugar escribirá un compilador y/o intérprete para FooL en FooL.¿Qué características de lenguaje se requieren en un lenguaje de programación para hacer un compilador?

Mi pregunta es esta: ¿Cuál es el subconjunto mínimo de características del lenguaje tal que alguien podría implementar ese lenguaje en sí mismo?

Fuente

2009-10-05 Matthew Scharley

¿Completando Turing? –

see: http://stackoverflow.com/questions/13537/bootstrapping-a-language –

No es lo mismo, pero una lectura relacionada: [what-is-the-best-language-to-write-a-compiler-in ] (http://stackoverflow.com/questions/809710/what-is-the-best-language-to-write-a-compiler-in) – nawfal

compilador se puede escribir incluso utilizando un Turing machine - un Universal Turing Machine es básicamente un compilador/intérprete de cualquier máquina de Turing, por lo que cualquier Turing-complete lenguaje debe ser lo suficientemente :)

Fuente

2009-10-05 07:19:26 Marek

Una opción es un read-eval-print loop. Esto se puede usar para construir muchos constructos de alto nivel. Creo que este es el camino tomado por LISP.
No estoy seguro de los comienzos de C, pero creo que comenzó con unas pocas llamadas al sistema para implementar la bifurcación, bucles, asignación y E/S de un solo carácter, y se construyó a partir de ahí.

Fuente

2009-10-05 07:22:12

En teoría, sorprendentemente poco. Un computability theorist diría que todo lo que necesita es mu-recursion o un Turing machine o similar.

Sin embargo, desde un punto de vista práctico, no va a estar muy contento tratando de implementar un lenguaje de programación en una máquina de Turing. Diría que, como mínimo, desearía tener todas las construcciones de flujo de control habituales, los tipos de datos primitivos, las subrutinas, así como las matrices y las estructuras. Eso debería ser suficiente para permitirle implementar ese subconjunto del idioma en el idioma en sí, y luego puede iniciarse desde allí.

Fuente

2009-10-05 07:22:57

"En teoría, no hay diferencia entre teoría y práctica. En la práctica , Ahi esta." - Olvidé quién. –

"* todo lo que necesitas es una máquina de Turing" me hizo sonreír, considerando que es básicamente el modelo computacional "razonable" más poderoso conocido :-) –

Id supongo que un ensamblador haría el corte.

Fuente

2009-10-05 07:28:19 Recursion

Mi pregunta es esta: ¿Cuál es el subconjunto mínimo de características del lenguaje tal que alguien podría implementar ese lenguaje en sí mismo?

No es necesario que el idioma sea útil para otra cosa que no sea la compilación por sí misma? Te presento Useless, el lenguaje en el que cada texto es un programa adecuado y significa "un programa que toma cualquier entrada y se produce a sí mismo" (esto también se conoce como compilador Useless).

Fuente

2009-10-05 13:14:46

Me gusta más el lenguaje de Jon Skeet. Pero por el bien del argumento, asegurémonos de que el lenguaje sea útil, tal como lo define al menos Turing-complere. –

Ese seguro es un lenguaje de programación ** 'Inútil' **. –

@radio: sí, sí lo es. @Matthew: ¿Estás seguro de que el lenguaje de Jon Skeet puede compilarse? –

¿Qué características de lenguaje se requieren en un lenguaje de programación para hacer un compilador?

Respuesta

Cuestiones relacionadas