MacroML - MacroML - Wikipedia

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í: