Одними "Алгоритмами" сыт не будешь...

Впрочем у нас даже на уровень "технологий" никак не могут влезть, не то, что до математики..

> Besides, I’m troubled by the fact we don’t have a mathematical model for OOP. We have Turing machines for imperative (procedural) programming, lambda-calculus for functional programming and even pi-calculus (and CSP by C.A.R. Hoare again and other variations) for event-based and distributed programming, but nothing for OOP. So the question of “what is a ‘correct’ OO program?”, cannot even be defined; (much less, the answer to that question.)

https://www.quora.com/Why-did-Dijkstra-say-that-%E2%80%9CObject-oriented-programming-is-an-exceptionally-bad-idea-which-could-only-have-originated-in-California-%E2%80%9D/answer/Alexander-Tchitchigin

А математическую модель реального мира мы имеем? И можно ли её построить?

- конечно нет. В этом смысле ОО-модели не формальные, а из человеческого мира, и имеют место быть в моменты перевода с человеческого на машинный.

Вспомним, что это и называется программированием.

Вспомним, что у программирования дофига определений, и не одного формального

Не знаю дофига, это процесс создания компьютерной программы человеком. То есть перевод с человеческого языка (неформального, неточного, полного противоречий и эмоций) на машинный (точный и формальный)

И эта задача вряд ли может быть решена с применением только формального математического аппарата.

модель может быть очень сложной с кучей зависимостей. Модель человека, еще нужно умудриться сделать. Человек может: ходить, спать, есть, выводить отходы, выгуливать собаку и тд - оч скудная модель. Понижая уровень сложности в программах появляются всякие ВыгулХелперы или ВыгулМенеджеры..... явно выдуманные, с точки взгляда на модель, костыли. Костыли понижают зависимости и дают гибкость, а еще вносят хаос!!!!!! Ненавижу программирование или это компромиссы?

Модель может быть..... Такая при всей своей сложности, она будет неточной и чрезмерно упрощённой

Ymmv а я пошёл отсюда пока

Хелперы и менеджеры вносят специализацию и служат для борьбы с хаосом

Абстракция служит для борьбы с хаосом

Хорошо, пусть будет так - хелперы, менеджеры, фабрики, билдеры и др. позволяют (тому, кто их использует) абстрагироваться от специфики реализации, - тем самым предоставляют инструмент для снижения хаоса и борьбы со сложностью

Вооот... Некоторые инструменты имеют формальную модель, а некоторые сделаны тяп-ляп или настолько сложны, что не помещаются в голову. Это, к примеру, мешает быстро проверять "на глаз" корректность кода во время рефакторинга.

Роберт Мартин - Чистая архитектура.

Подарок пытливым умам на новый год