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

Фредерик Брукс много лет назад написал свой Мифический Человеко-Месяц, в котором в частности есть статья про то, что Серебрянных Пуль в программировании нет и не предвидится. А идея там очень простая - все эти тулзы и подходы, которые обещают революцию, на самом деле пытаются оптимизировать те аспекты, которые занимают не так много времени и уже оптимизированы. В частности, Брукс приводит статистику, что кодирование занимает 15% времени. Почему я и написал, что если улучшить работу кодинг-манки мы получим в три раза больше хлама. Те рефакторинги что там есть - простые. Их недостаточно, чтобы более-менее серьезно код менять. Тулзы для серьезного рефакторинга никто делать не будет, ибо это как раз проблема уходит корнями в область доказательства теорем. Грубо говоря, для более-менее сложного рефакторинга, автоматически доказать эквивалентность уже не получается. Хотя вообще говоря тут много можно чего сделать в плане автоматизации.