Предметно–ориентированные (или доменно–специфичные, DSL) языки — одна из популярных идей в мире высокоуровневого программирования. Идея проста: для того, чтобы решать часто встречающиеся в какой–то конкретной области задачи, проще создать маленький новый язык, чем писать громоздкие конструкции на языке общего назначения (представьте себе программирование баз данных на Java без SQL). При реализации этой идеи возникают новые технические задачи: многие языки похожи друг на друга, и мы не хотим создавать каждый из них с нуля, однако технология разработки языков в этом смысле развита довольно плохо. Будет рассказано о подходах к решению этих проблем, которые разрабатываются докладчиком в последнее время. В частности, будет рассказано о фундаментальных инструментах повторного использования — шаблонах и аспектах — и их обобщении на произвольные структурированные данные и о технике, позволяющей быстро создавать диалекты уже существущего языка.