MacroML

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

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

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

• v
• т
• е