MacroML - MacroML
MacroML je experimentální programovací jazyk založený na rodině ML , který se snaží sladit statické psaní ML a typy makro systémů, které se běžně vyskytují v dynamicky psaných jazycích, jako je Scheme ; toto sladění je obtížné, protože transformace makra Turing-kompletní mohou narušit bezpečnostní záruky typu, které má statické psaní poskytnout.
externí odkazy
Některé příspěvky týkající se MacroML zahrnují:
- „Makra jako vícestupňové výpočty: Type-Safe, Generative, Binding Macros in MacroML“ ( citeseer )
- Postupné notační definice (citeseer)
 |
Tento článek týkající se programovacího jazyka je útržek . Wikipedii můžete pomoci rozšířením . |
