MakroML - MacroML
MacroML on kokeellinen ohjelmointikieli perustuu ML perhe, jolla pyritään sovittamaan yhteen ML: n staattinen kirjoittamalla ja tyypit makro järjestelmiä esiintyy yleisesti dynaamisesti kirjoitetut kielet kuten Scheme ; tämä sovittelu on vaikeaa, koska Turingin täydelliset makromuunnokset voivat rikkoa tyypin turvallisuustakuun, jonka staattisen kirjoittamisen on tarkoitus tarjota.
Ulkoiset linkit
Joitakin MacroML: ään liittyviä artikkeleita ovat:
- "Makrot monivaiheisina laskelmina: Tyyppikohtaiset, generatiiviset, sitovat makrot MacroML: ssä" ( citeseer )
- Vaiheittaiset merkintämääritelmät (citeseer)
 |
Tämä ohjelmointikieli liittyvä artikkeli on tynkä . Voit auttaa Wikipediaa laajentamalla sitä . |
