Implicit в Scala -- пользовательский интерфейс к системе типов в языке.
Template в C++ -- тоже
Call/cc -- пользовательский интерфейс к среде исполнения. С фокусом на операции
Макросы и фекспры -- пользовательский интерфейс к фронтенду в компиляторе
namespace и meta в Clojure -- пользовательский интерфейс к информации о символах в компиляторе
Worlds (Warth) -- пользовательский интерфейс к среде исполнения. С фокусом на стейт
Башни интерпретаторов -- пользовательский интерфейс к среде исполнения
Ещë такой момент. Любой компилятор можно разбить на серию компиляторов из одного языка в другой, более низкоуровневый. Сейчас по целому ряду причин промежуточных представлений в компиляторах относительно мало