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.