WikiDer > MacroML - Википедия

Эта статья поднимает множество проблем. Пожалуйста помоги Улучши это или обсудите эти вопросы на страница обсуждения. (Узнайте, как и когда удалить эти сообщения-шаблоны) Тема этой статьи может не соответствовать Википедии общее руководство по известности. Пожалуйста, помогите установить известность, указав надежные вторичные источники которые независимый темы и обеспечить ее подробное освещение, помимо банального упоминания. Если известность не может быть установлена, статья, вероятно, будет слился, перенаправлен, или же удалено. Найдите источники: «МакроМЛ» – Новости · газеты · книги · ученый · JSTOR (Июль 2019) (Узнайте, как и когда удалить этот шаблон сообщения) Эта статья включает Список ссылок, связанное чтение или внешняя ссылка, но его источники остаются неясными, потому что в нем отсутствует встроенные цитаты. Пожалуйста, помогите улучшать эта статья введение более точные цитаты. (Июль 2019) (Узнайте, как и когда удалить этот шаблон сообщения) (Узнайте, как и когда удалить этот шаблон сообщения)

MacroML экспериментальный язык программирования на основе Язык программирования ML семья, которая стремится примирить ML статическая типизация систем и типов макрос системы чаще встречаются в динамически типизированный языки как Схема; это согласование сложно, поскольку макротрансформации обычно Полный по Тьюрингу и так может сломать безопасность типа гарантирует, что статическая типизация должна обеспечивать.

внешняя ссылка

Некоторые документы, связанные с MacroML, включают:

• «Макросы как многоэтапные вычисления: типобезопасные, генеративные, связывающие макросы в MacroML» (цитирующий)
• Поэтапные обозначения определений (цитирующий)

Этот язык программирования-связанная статья является заглушка. Вы можете помочь Википедии расширяя это. v т е