MacroML - MacroML
MacroML este un limbaj de programare experimental bazat pe familia ML , care caută să reconcilieze tastarea statică a ML și tipurile de sisteme macro întâlnite în mod obișnuit în limbaje tastate dinamic , cum ar fi Scheme ; această reconciliere este dificilă, deoarece transformările macro complete de Turing pot rupe garanțiile de siguranță de tip pe care se presupune că le oferă tastarea statică.
linkuri externe
Unele lucrări legate de MacroML includ:
- „Macrocomenzi ca calcule în mai multe etape: tipuri sigure, generative, macro obligatorii în MacroML” ( citeseer )
- Definiții notaționale în etape (citeseer)
 |
Acest articol legat de limbajul de programare este un test . Puteți ajuta Wikipedia extinzându-l . |
