темный рыцарь
tchingizА абстрагизировать ооп дальше, то есть, через математику ооп описать это правильно. Это не правильно - это глупо. В смысле пытаться основать программирование на математике это глупость.

бедные Бурбаки, упорно основывающие математику (следующие утверждения)
на математике (предыдущих уже основанных утверждениях) последние полвека
видимо не знакомы с Вашим просвещенным мнением.

темный рыцарь
Программирование это есть (своего рода) математика, а потому никакого отдельного обоснование оно не требует.

программирование это конструктивная математика. Это правда.
Только околопрограммисткие менеджеры и большая часть программистов об этом не знает.
А после выхода в 80е годы из научных кругов к широкому пользователю (pc ibm),
стиль подачи информации стал подозрительно похожим на одесский базар, а не научный семинар, на котором каждый отвечает за свои слова.
В результате, из трех наугад выбранных признанных деятеля ооп - Страуструп, Буч,
Бертран Мейерс - все дают различные толкования основополагающих
терминов тип и класс(точнее, Буч, вообще, не дает). А в рамках работы Бурбаков
подобный базар по поводу дифуров или интегралов, скажем, не представляется возможным в принципе, что и говорит о подобии программирования сбору бабочек, а не математики.

темный рыцарь
Это вообще, а в частности, все попытки обосновать ООП математически ничего не дали и дать не могли, поскольку это не нужно и неестественно.
1) какие попытки Вам известны?
2) упомянутая мной ранее попытка Карделли вполне нужна и естественна.

Хотя лично моя еще лучше. )))

недовольный студентик
что за "сложные программы", которые не применяют ООП? что это за звери такие? просветите меня хоть немного в этом вопросе, а то право очень интерес гложет...



What is HTK?
The Hidden Markov Model Toolkit (HTK) is a portable toolkit for building and manipulating hidden Markov models. HTK is primarily used for speech recognition research although it has been used for numerous other applications including research into speech synthesis, character recognition and DNA sequencing. HTK is in use at hundreds of sites worldwide.

http://htk.eng.cam.ac.uk/

недовольный студентикtchingizнедовольный студентик
что за "сложные программы", которые не применяют ООП? что это за звери такие? просветите меня хоть немного в этом вопросе, а то право очень интерес гложет...



What is HTK?
The Hidden Markov Model Toolkit (HTK) is a portable toolkit for building and manipulating hidden Markov models. HTK is primarily used for speech recognition research although it has been used for numerous other applications including research into speech synthesis, character recognition and DNA sequencing. HTK is in use at hundreds of sites worldwide.

http://htk.eng.cam.ac.uk/

спасибо...
правда это же все узкоспециализированные инструменты (распознование символов, голосовой анализ)причем здесь ООП? и их применяют наверняка не в силу их нереализуемости через ООП, а вилу того что они разработаны и через них проще решать поставленные задачи, например некоторые компании не пишут свой движок игры а используют чужой в силу накладности программирования своего...
при том, что фактом является утверждение, что это сложная программа, в которой не используется ооп. Аналогичные системы есть с ооп.

недовольный студентик

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