Все проще.
Когда задача достигает некоторого уровня сложности (не навороченности, а чисто размера), возможность обозреть ее решение, записанное на "обычном ЯП" теряется.
См. Дейкстра "Заметки по структурному программированию"
Тогда пытаются применить всякие структурные (устар.) и объектно-ориентированные методы.
См. Брукс "Мифический человеко-месяц"
Но метод написания под новую задачу нового языка (машины по Дейкстре) по идее работает лучше.
В принципе под это был заточен и C++ (См. Страуструп, глава "Проектирование и развитие") и Python...
Но работает это только в FORTH (зато там все остальное не работает).
См. Броуди "Думаем на FORTH":
Цитата
На самом деле Вам не стоит писать каких-либо серьезных задач на Форте; как язык, он просто недостаточно мощен. Вам "следует" писать на Форте свои собственные языки (лексиконы) для моделирования Вашего понимания проблемы, на которых Вы можете элегантно описать ее решение.