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

Функциональные языки расцветают с функциями высших порядков, замыканиями и прочими приятными вещами, которых на уровне FOL быть не может, а над HOL никто прилично не реализовал. Да и с известной направленностью вычислений (в функциональных и императивных языках) работать удобнее. Наиболее удобным решением, на мой взгляд, была бы интеграция "мультинаправленных" решений в не-логические языки, с использованием их там, где для нескольких требующихся направлений действительно пригодно одно декларативное описание. Внезапно, именно это (пока на уровне "языка как библиотеки в языке") получаеется в нашем проекте.