Без заголовка

Интерактивное программирование - это оказывается всего лишь развитие идей программирования декларативного. Впрочем ДСЛи, их реализация, а также моделирование тоже в сущности есть развитие декларативных идей. Т.е. ДСЛ часто является декларативным языком: описываем цель, а комуптер генерит решение в рамках домена. Воркбенчи - это тоже вобщем-то смесь идей мета- и декларативного программирования. С интерактивным программированием пересекается функцинально-реактивное программирование. В данном случае, речь идет как раз о том, чтобы отображение какой-то модели данных описывать в виде функции от параметров, и каждый раз когда меняется параметре, отображение "перерисовывать". Т.е. тут императивность евент-дривен программирования инкапсулируется в функциональных конструктах (т.е. то вокруг чего построен Хаскел). Если сюда подключить функционально-логическое программирование, то можно уже и от результата к параметрам переходить. А если зарулить в системы верификации/спецификации, то можно пытаться переходить от спецификации к реализации.