Я краем уха слышал о чём-то подобном, но не смог найти. Там основная идея состояла в том, что на вход подаются несколько примеров функции и значений (например, [4, 3, 7, 9, 1] -> [1, 3, 4, 7, 9] и [3, 9, 7, 5, 6, 8, 2, 4] -> [2, 3, 4, 5, 6, 7, 8, 9]), а система сама с использованием методов теории категорий пишет минимальный в некотором смысле код функции, который удовлетворяет указанным примерам (в данном случае сортировка). Но вот поиск ничего не дал. Скорее всего связано с Haskell, но не уверен...
А можете точнее сформулировать?
Ибо
https://ru.wikipedia.org/wiki/%D0%9A%D0 ... 1%82%D0%B8Ну помечтать то можно: вот вырастут вычислительные мощности до возможности полного перебора всех инструкций не в пределах маленького цикла на десяток команд, а в пределах всей пользовательской программы (тапками не кидаться - мечты же!) - вот и настанет всеобщее счастье генерации (почти) оптимальных программ под любое вменяемое ТЗ.
А это вычислимо вообще? Хотя здесь вообще нужно еще смысл придать этой оптимальности.
Даже
if P then A else B endif;уже вызовет проблемы при попытке определения ее оптимальности.