Makro ve sadece onun gerçek gücünü anlamak için ilk önce çok merak ediyorum doğrusu. Bana makro sistemlerin bazı büyük kullanım toplamak Yardım lütfen.

Şimdiye kadar bu yapıları var:

Desen Eşleştirme:

Andrew Wright ve Bruce Duba. Desen Düzeni için eşleştirme, 1995

Giriş ruhuyla ilişkileri:

Dorai Sitaram. Schelog programlama. http://www.ccs.neu.edu/home/dorai/schelog/schelog.html

Daniel P. Friedman, William E. Byrd, Oleg Kiselyov. Gerekçeli Entrikacı. MIT Press, Temmuz 2005

Matthias Felleisen. Transliterating Giriş noktasına. Teknik Rapor 182, 1985'te Indiana Üniversitesi.

Döngü Yapıları Genişletilebilir:

Sebastian Egner. İstekli kapsam Düzeni: SRFİ-42 tasarımı. İçinde Düzeni Çalıştayı ve Fonksiyonel Programlama, pages13–26 Eylül 2005.

Olin Titreten. Bir döngü anatomisi: kapsam ve kontrol hikaye. İçinde Uluslararası Konferans Fonksiyonel , 2-14, 2005 programlama sayfa.

Sınıf Sistemleri

PLT. PLT MzLib: Kütüphaneler manuel. PLT-TR2006-4-v352 Teknik Rapor, Inc. PLT Scheme, 2006. http://www.plt-scheme.org/techreports/

Eli Barzilay. Dolandırıcılık. http://www.barzilay.org/Swindle.

Bileşen Sistemleri:

Ryan Culpepper, Scott Owens ve Matthew Flatt. Sözdizimsel soyutlama bileşen arabirimleri. İçinde Üretici konulu uluslararası Konferans Ve Bileşen programlama Mühendislik, sayfalar 373-388, 2005

Yazılım Sözleşme Denetimi

Matthew ve Matthias Felleisen Flatt. Birimler: SICAK diller için Serin modülleri ACM SİGPLAN Konferansı üzerine Programlama Dili Tasarımı ve Uygulama, sayfa 236-248, 1998

Oscar Waddell ve R. Kent Dybvig. Sözdizimsel alanlarını genişletmek soyutlama.İlkeleri Sempozyumu Programlama Dilleri, sayfa 203-215, 199

Ayrıştırıcı Jeneratör

Scott Owens, Matthew Flatt, Olin Heyecan ve Benjamin McMullan. Lexer ve Düzeni jeneratörler ayrıştırıcı. İçinde Düzeni Çalıştayı ve Fonksiyonel , 41-52, Eylül programlama sayfalar 2004.

Mühendislik Semantik araçları:

Robert Bruce Matthias Felleisen Findler ve Matthew Flatt. Anlambilim PLT Redex ile mühendislik. MIT Press, Ağustos 2009.

Derleyici özellikleri Dönüşümler:

Oscar Waddell, ve R. Kent Dybvig Sarkar Dipanwita. Bir nanopass derleyici eğitim için çerçeve. Fonksiyonel Dergisi :653-667, Eylül,15 Programlama(5) 2005. Eğitim İnci.

Yürütme Roman Biçimleri

Seri hale getirilebilir ile sunucu uygulamalarına devamı Greg Pettyjohn, John Clements, Joe Marshall, Üyeliği Yapıyor Baldwin ve Matthias Felleisen. Genelleştirilmiş gelen devamı yığını muayene. Uluslararası Fonksiyonel Programlama,konferans pages216–227, 2005.

Teorem-İspat Sistemi

Sebastian Egner. Düzeni istekli kapsam: tasarım SRFİ-42. Düzeni ve Fonksiyonel Programlama Çalıştayı, sayfaları da 1326, Eylül 2005.

Türleri ile Temel Dil uzantıları

Sam Tobin-Hochstadt ve Matthias Felleisen.Tasarım ve yazılan planının uygulanması. İçinde Sempozyum Programlama İlkeleri Diller, sayfalar 395-406, 2008.

Tembellik

Eli Barzilay ve John Clements. Tembellik tüm olmadan zor çalışma:tembel birleştiren ve sıkı öğretmenlik için dil. Fonksiyonel Olarak programlama içinde eğitim, sayfa 9-13, 2005.

Fonksiyonel Tepkime

Gregory H. Cooper ve üyeliği yapıyor Baldwin. Gömme dinamik bir call-by-value dil veri akışı. Avrupa Sempozyumu Programlama, 2006

Referans:

Ryan Culpepper's Dissertation toplanan

Culpepper & Felleisen, Makrolar Güçlendirici, 2010 İCFP

Tobin-Hochstadt ve Felleisen Culpepper, Gelişmiş Macrology ve Yazdığınız planının Uygulanmasını, Düzeni 2007 Atölye

Flatt, Findler, Felleisen, Sınıfların Düzeni, Mixins, ve Özellikleri, 2006 APLAS

Herman, Meunier, Kısmi Değerlendirme ile Gömülü Diller Statik Analizi İyileştirilmesi, 2004 İCFP