compilador Lisp diseño

Question

Estoy buscando un libro de diseño de compilador. Lo estoy aprendiendo en la universidad; pero las conferencias nunca fueron para mí. Además, en mi universidad no hacen mucha práctica y creo que incluso si hago el curso sinceramente sobre autómatas finitos y diseño de compiladores, no sabré cómo implementar un compilador. Entonces, estoy buscando libros sobre la implementación de un compilador. Encuentro bueno el "Modern Compiler Implementation". Tenía tres opciones de lenguaje y elegí el libro C porque siendo C un lenguaje pequeño, tendré más para hacer y más para aprender durante el ejercicio. Sin embargo, quería aprender el curso de diseño de un compilador para Lisp o Python [también puede estar en el mismo idioma]; pero no pude encontrar mucho material disponible. Lisp es un lenguaje antiguo y debería haber documentación sobre cómo diseñar un compilador para él. Necesito tus sugerencias con respecto a esto.

Gracias.

Answer 1

Lisp in small pieces es probablemente el mejor libro sobre la implementación de Lisp. Muy recomendable. Probablemente disponible a través de un servicio de libros usados. Puede ser costoso, incluso como un libro usado. Es una traducción del original francés. También hay una versión revisada en francés, que no se ha traducido al inglés, lamentablemente.

También recomendaría Paradigms of Artificial Intelligence Programming, Case Studies in Common Lisp por Peter Norvig. Contiene la descripción de un compilador Scheme escrito en Common Lisp. En general, este es un libro excepcional.

Ver también esta bibliografía en Scheme implementation techniques.

Para Common Lisp hay artículos disponibles y algunos compiladores de Common Lisp vienen con un poco de documentación de implementación y compilación interna. Por lo general, el compilador no puede verse de forma aislada, sino que debe verse en combinación con el tiempo de ejecución al que se compila (GC, conjuntos de instrucciones, gestión de memoria en general, subprocesamiento, interfaces FFI, ...). Ver por ejemplo el Design of CMU Common Lisp.

Answer 2

Esto no es exactamente para Lisp, pero para Scheme (un derivado lisp), pero usamos este texto libre (como en cerveza) en mi clase de lenguajes de programación. Aquí está el enlace:

http://www.cs.brown.edu/~sk/Publications/Books/ProgLangs/

tener en cuenta, sin embargo, que están enseñando cómo escribir un intérprete de Scheme nada menos que en el esquema. En cierto modo, al principio se tuerce la mente en nudos, pero se vuelve más claro después de un tiempo. No estoy exactamente seguro de si esto es lo que estás buscando, pero es un comienzo e ilustra algunas de las cosas más importantes en las que pensar.

Answer 3

Nunca lo leí, pero en un momento hubo un libro llamado "Lisp en pequeñas piezas" que se suponía que era bastante bueno para sus propósitos.

Answer 4

Aquí hay una gran visión general de un diseño de compilador para Scheme: An Incremental Approach to Compiler Construction. Es un artículo bastante breve que describe cómo crear un compilador de código de máquina para Scheme "desde cero".

Answer 5

Estudio de estos libros en orden:

1. Essentials of Programming Languages
2. Lisp in Small Pieces

vez que su sistema Lisp básica está trabajando, probablemente, es posible que desee poner en práctica 'lenguajes especializados' por encima de eso. Entonces los libros como The Art of Metaobject Protocol se convierten en una referencia esencial.