MacroML - MacroML
MacroML er et eksperimentelt programmeringssprog baseret på ML- familien, der søger at afstemme ML's statiske typebestemmelse og de typer makrosystemer , der almindeligvis findes i dynamisk typede sprog som Scheme ; denne forsoning er vanskelig, da Turing-komplette makrotransformationer kan bryde typesikkerhed garanterer, at statisk typografi formodes at give.
eksterne links
Nogle papirer relateret til MacroML inkluderer:
- "Makroer som multistage-beregninger: Type-sikre, generative, bindende makroer i MacroML" ( citeseer )
- Staged Notational Definitions (citeseer)
 |
Denne programmeringssprogrelaterede artikel er en stub . Du kan hjælpe Wikipedia ved at udvide den . |
