Ein sehr kühles Projekt: OCaml - sowieso schon eine der schönsten funktionalen Programmiersprachen - wird um Multistage-Programming erweitert. Im Prinzip ist das ganze vergleichbar mit den Makros aus Common Lisp oder Scheme - allerdings natürlich funktional sauber definiert. Durch Multistage-Programming erlaubt jetzt auch OCaml die Erzeugung von Minisprachen für spezifische Problemdomänen und die Codierung in diesen Minisprachen - ohne das durch den Ausführungsoverhead das ganze ineffizient wird. Allerdings habe ich noch nicht geguckt ob es von der Mächtigkeit annähernd mit den Common Lisp Makros mithalten kann.
Hier gibts den Originalartikel.
