Как развиваться в программировании стратегически?

Интересное наблюдение, что плавно переучивать людей переходить к более продвинутым парадигмам программирования практически невозможно. Рассуждаешь о формальной логике приложения, как её "запрограммировать" на HoTT, а человек не хочет отрываться от примитивной императивщины, даже в ООП правильно не хочет проектировать, абстрактными (даже не алгебраическими) типами данных, не говоря уж о ФП. Ты изучил сотни книг по математике и computer science, а человек смотрит программирование (смотрит! программирование!) на ютубе и не читает вообще.

Мудрецы кстати в таком случае рекомендуют не плавный переход, а резкую смену вообще всего контекста, всей парадигмы. Не вымучивать плавное использование LINQ в C# или functools в Python, а сразу принудительно заставлять писать код исключительно на F# например. В университетах уровня Оксфорда кстати так и делают прямо с первого курса.

Выпущены тысячи (!!!) учебников по программированию, в которых людям навязывается фактически ложная парадигма обучения и понимания. Это всё обман по большому счёту, это гарантированно тупиковый путь.

Потому что внутри такой ложной реальности, ложной парадигмы любые знания фактически не имеют никакой ценности, их КПД крайне невысокий. От того, что вы прочтёте сотни книг по технологиям, фреймворкам и императивному программированию, не станете в информатике умнее. А вот даже всего от двух-трёх книг по профильной математике, по математической логике, по теории типов -- очень даже.