Язык Рефал. Когда-то давно он мне попадался, я нифига не понял. Но тут взглянул на картинку ->, потом на эти принципы --> и аж подпрыгнул - это то, над чем я давно думаю. http://wiki.botik.ru/Refaldevel/CompilationPrinciples
http://wiki.botik.ru/Refaldevel/WebHome
Как законченное изделие этот advanced brainfuck использовать, конечно, невозможно. Но идеи там очень и очень здравые. Собственно, суперкомпилятор впервые был сделан именно для Рефала
http://caxapa.ru/583776.html
https://ru.wikiped …0%95%D0%A4%D0%90%D0%9B
http://ulm.uni.udm …u.php?id=refal-5:korsa
http://habrahabr.ru/post/198972/
http://fprog.ru/2011/issue7/ - журнал, там есть статья про суперкомпиляцию.
Суть важных для меня идей следующая.
1) Пишем код в форме, удобной для автоматического анализа и преобразования
2) Упрощаем и оптимизируем код автоматически, также автоматически ищем максимальное количество формальных ошибок.
3) Получившийся код однозначно и безошибочно трансформируем в код на императивных языках (нам C++ важен), который порождает исполняемый код по давно отлаженной методике.
Осталось подружить всю эту красоту с !продвинуто-функциональным мышлением, и будет счастье.