Estoy muy interesado en las macros y apenas estoy comenzando a entender su verdadero poder. Por favor, ayúdame a recolectar un gran uso de los macro sistemas

Hasta ahora tengo estas construcciones:

La coincidencia de patrones:

Andrew Wright y Bruce Duba. Coincidencia de patrones para Scheme, 1995

Relaciones en el espíritu de Prolog:

Dorai Sitaram. Programación en esquema.http://www.ccs.neu.edu/home/dorai/schelog/schelog.html

Daniel P. Friedman, William E. Byrd y Oleg Kiselyov. El Razonador Razonado. The MIT Press, julio de 2005

Matthias Felleisen. Transcribiendo Prolog en Scheme. Informe técnico 182, Universidad de Indiana, 1985.

Construcciones de bucle extensible:

Sebastian Egner. Ánimo de comprensión en el esquema: el diseño de SRFI-42. En Workshop on Scheme and Functional Programming, páginas 13–26, septiembre de 2005.

Olin tiembla. La anatomía de un bucle: una historia de alcance y control. En Conferencia Internacional sobre Programación Funcional, páginas 2–14, 2005.

Sistemas de clase:

PLT. PLT MzLib: manual de bibliotecas. Informe técnico PLT-TR2006-4-v352, PLT Scheme Inc., 2006.http://www.plt-scheme.org/techreports/

Eli Barzilay. Estafa.http://www.barzilay.org/Swindle.

Sistemas de componentes:

Ryan Culpepper, Scott Owens y Matthew Flatt. Abstracción sintáctica en interfaces de componentes. En la Conferencia Internacional sobre Programación Generativa e Ingeniería de Componentes, páginas 373–388, 2005

Comprobación de contratos de software

Matthew Flatt y Matthias Felleisen. Unidades: módulos geniales para lenguajes HOT En la conferencia ACM SIGPLAN sobre diseño e implementación de lenguajes de programación, páginas 236–248, 1998

Oscar Waddell y R. Kent Dybvig. Ampliar el alcance de la abstracción sintáctica. En el Simposio sobre principios de lenguajes de programación, páginas 203–215, 199

Generadores de analizadores

Scott Owens, Matthew Flatt, Olin Shivers y Benjamin McMullan. Lexer y generadores de analizadores en Scheme. En Workshop on Scheme and Functional Programming, páginas 41–52, septiembre de 2004.

Herramientas para la semántica de ingeniería:

Matthias Felleisen, Robert Bruce Findler y Matthew Flatt. Ingeniería Semántica con PLT Redex. MIT Press, agosto de 2009.

Especificaciones de las transformaciones del compilador:

Dipanwita Sarkar, Oscar Waddell y R. Kent Dybvig. Un marco nanopass para la educación del compilador. Journal of Functional Programming, 15 (5): 653–667, septiembre de 2005. Educational Pearl.

Nuevas formas de ejecución

Servlets con continuaciones serializables Greg Pettyjohn, John Clements, Joe Marshall, Shriram Krishnamurthi y Matthias Felleisen. Continuaciones de la inspección generalizada de la pila. En la Conferencia Internacional sobre Programación Funcional, páginas 216–227, 2005.

Sistema de prueba de teoremas

Sebastian Egner. Ánimo de comprensión en el esquema: el diseño de SRFI-42. En Workshop on Scheme and Functional Programming, páginas 13–26, septiembre de 2005.

Extensiones del idioma base con tipos

Sam Tobin-Hochstadt y Matthias Felleisen. Diseño e implementación del esquema mecanografiado. En el Simposio sobre principios de lenguajes de programación, páginas 395–406, 2008.

pereza

Eli Barzilay y John Clements. Pereza sin todo el trabajo duro: combinando lenguajes perezosos y estrictos para la enseñanza. En Programación funcional y declarativa en educación, páginas 9-13, 2005.

Reactividad funcional

Gregory H. Cooper y Shriram Krishnamurthi. Incrustar flujo de datos dinámicos en un lenguaje de llamada por valor. En el Simposio europeo sobre programación, 2006

Referencia:

Recogido deDisertación de Ryan Culpepper