MacroML

MacroML es un lenguaje de programación experimental basado en la familia ML , que busca conciliar el tipado estático de ML con los tipos de sistemas de macros que se encuentran comúnmente en lenguajes de tipado dinámico como Scheme ; esta conciliación es difícil ya que las transformaciones de macros Turing-completas pueden romper las garantías de seguridad de tipos que se supone que proporciona el tipado estático.

Algunos artículos relacionados con MacroML incluyen:

• "Macros como cálculos multietapa: macros generativas, vinculantes y con seguridad de tipos en MacroML" ( citeseer )
• Definiciones notacionales escalonadas (citeseer)