Здравствуйте, Sinclair, Вы писали:

G>>Я собсно как-раз работаю над такой штуковиной для доказательного программирования, которая радикально отличается в этом плане, не то язык, не то фреймворк.
G>>Древовидная структура с предикатами, юзер выбирает из списка возможных следствий. Некоторые следствия создают разветвления.
G>>Ветви переносятся, клонируются, сливаются, неконсистентные — удаляются. По итогу генерится код.
S>Очень интересно. Есть какие-то публичные ресурсы про вашу работу? Статьи или описание продукта?

Все пока только в моей голове. (Не считая экспериментального кода, конечно).
Уже 2 года фулл-тайм над этим работаю и теория дорабатывается по ходу дела.
Хочу как минимум довести до состояния proof-of-concept для юз-кейса теории балансированных бинарных деревьев с ограниченной доказанностью (структурная индукция пока будет на совести пользователя).
Уже вот-вот скоро надеюсь, но блин то одно неучтенное выползает, то другое. Но как доделаю намеченный минимум, займусь писательством и поисками финансирования.
На RSDN похвастаюсь первым делом, само собой