MacroML - MacroML
MacroML est un langage de programmation expérimental basé sur la famille ML , cherchant à réconcilier le typage statique de ML et les types de systèmes de macros couramment trouvés dans les langages à typage dynamique comme Scheme ; cette réconciliation est difficile car les macro-transformations complètes de Turing peuvent rompre les garanties de sécurité de type que le typage statique est censé fournir.
Liens externes
Certains articles liés à MacroML incluent :
- "Les macros en tant que calculs en plusieurs étapes : macros sécurisées de type, génératives et de liaison dans MacroML" ( citer )
- Définitions de notation par étapes (citant)
 |
Cet article relatif au langage de programmation est un bout . Vous pouvez aider Wikipedia en l' étendant . |
