Я очень заинтересован в Макросах и только начинаю понимать его истинную силу. Пожалуйста, помогите мне собрать большое использование макросистем.
До сих пор у меня эти конструкции:
Соответствие шаблону:
Эндрю Райт и Брюс Дуба. Шаблон сопоставление для Схемы, 1995
Отношения в духе Пролога:
Дорай Ситарам. Программирование в schelog. http://www.ccs.neu.edu/home/dorai/schelog/schelog.html
Даниэль П. Фридман, Уильям Э. Бирд, и Олег Киселев. Рассужденный Schemer. Пресса MIT, июль 2005 г.
Маттиас Феллеисен. транслитерации Пролог в схему. Технический отчет 182, Университет Индианы, 1985 г.
Расширяемые контуры:
Себастьян Эгнер. Стремительное понимание в схеме: дизайн SRFI-42. В Семинар по схеме и функциональному Программирование, страницы13-26, сентябрь 2005.Олин дрожит. Анатомия цикла: a история охвата и контроля. В Международная конференция по функциональным Программирование, страницы 2-14, 2005.
Системы классов:
PLT. PLT MzLib: Руководство по библиотекам. Технический отчет PLT-TR2006-4-v352, PLT Scheme Inc., 2006. http://www.plt-scheme.org/techreports/
Эли Барзилай. Лохотрон. http://www.barzilay.org/Swindle.
Компонентные системы:
Райан Калпеппер, Скотт Оуэнс и Мэтью Флатт. Синтаксическая абстракция в интерфейсах компонентов. В Международная конференция по Программирование и компонентная инженерия, страницы 373-388, 2005
Проверка контрактов на программное обеспечение
Мэтью Флатт и Маттиас Феллеисен. Единицы: Прохладные модули для языков HOT В конференции ACM SIGPLAN Программирование языка Реализация, страницы 236-248, 1998
Оскар Уодделл и Р. Кент Дыбвиг. Расширение сферы синтаксиса абстракция. В Симпозиуме по принципам языков программирования, страниц 203-215, 199
Генераторы Parser
Скотт Оуэнс, Мэтью Флатт, Олин Дрожь, и Бенджамин Макмуллан. лексер и генераторы парсера в Схеме. В Семинар по схеме и функциональному Программирование, страницы 41-52, сентябрь 2004.
Инструменты для инженерной семантики:
Маттиас Феллейсен, Роберт Брюс Findler, и Мэтью Флатт. Семантика Инженерное дело с PLT Redex. MIT Press, Август 2009 года.
Спецификации трансформаций компилятора:
Дипанвита Саркар, Оскар Уодделл и Р. Кент Дыбвиг. Нанопасс рамки для обучения компиляторов. Журнал функциональных Программирование, 15 (5): 653-667, сентябрь 2005. Обучающая жемчужина.
Новые формы выполнения
Сервлеты с сериализуемыми продолжения Грег Петтион, Джон Клементс, Джо Маршалл, Шрирам Кришнамурти и Маттиасом Феллезином. Продолжения из обобщенного стека осмотр. В международном Конференция по функциональному программированию, pages216-227, 2005.
Теоретико-доказательная система
Себастьян Эгнер. Стремление к пониманию схемы: дизайн SRFI-42. В семинаре по схеме и функциональному программированию, стр. 13-26, Сентябрь 2005 года.
Расширения базового языка с типами
Сэм Тобин-Хохштадт и Маттиас Феллесины. Дизайн и реализация типизированной схемы. В Симпозиум по принципам программирования Языки, страницы 395-406, 2008.
Лень
Эли Барзилай и Джон Клементс. Лень без всяких трудных работа: объединение ленивых и строгих языки для обучения. В функциональном и декларативное программирование в образование, страницы 9-13, 2005.
Функциональная реактивность
Грегори Х. Купер и Шрирам Кришнамурти. Встраивание динамических поток данных на языке вызова по значению. В Европейском симпозиуме по программированию, 2006
Ссылка:
Собрано из История Райана Кулпеппера
