MacroML - MacroML - Wikipedia
| Tento článek má několik problémů. Prosím pomozte zlepšit to nebo diskutovat o těchto otázkách na internetu diskusní stránka. (Zjistěte, jak a kdy tyto zprávy ze šablony odebrat) | Téma tohoto článku nemusí splňovat požadavky Wikipedie obecný pokyn k notabilitě. Pomozte prosím určit notabilitu citováním spolehlivé sekundární zdroje to jsou nezávislý tématu a poskytnout jeho významné pokrytí nad rámec pouhé triviální zmínky. Pokud nelze určit významnost, je pravděpodobné, že článek bude sloučeny, přesměrovánnebo smazáno. Najít zdroje: „MacroML“ – zprávy · noviny · knihy · učenec · JSTOR (Července 2019) (Zjistěte, jak a kdy odstranit tuto zprávu šablony) |
(Zjistěte, jak a kdy odstranit tuto zprávu šablony) |
MacroML je experimentální programovací jazyk založeno na ML programovací jazyk rodina, která se snaží sladit ML statické psaní systémy a typy makro systémy, které se běžněji vyskytují v systému Windows dynamicky zadáno jazyky jako Systém; toto sladění je obtížné, protože transformace makra jsou obvykle Turing-kompletní a tak může zlomit bezpečnost typu zaručuje statické psaní, které má poskytnout.
externí odkazy
Některé příspěvky týkající se MacroML zahrnují: