Метаязык, ориентированный на эффективное задание языков современных систем программирования