не уверен что у нас сходные взгляды. Как я говорил, я из тех, кто може писать компиляторы, ОС и т.п У меня взгляд на все это дело формально-инженерный. Есть матмодели (сети, автоматы, агентные системы, логические и т.д), есть механизмы их воплощения
когда решаешь задачу , в голове держишь формальную модель, а пишешь реальную
когда разбираешь код чужой, опять же , смотришь через призьму формально-математических моделей (так понимается все легче)