Из того, что читал - Object-Oriented Analysis and Design. Хотя, конечно, строгость определений там относительная. Также мне рекомендовали Object-Oriented Software Construction, но эту книгу ещё не читал.

По теории ООП часто советуют A Theory of Objects.

Подскажите литературу, в которой подобная терминология систематизируется и вводится более-менее строго в математическом смысле?

Но зачем? Какой смысл в этой теории и терминах, если тут важна практика? Кто-нибудь пусть мне объяснит

А теория категорий здесь в тему?

Это всё не привязано к ООП. В математическом смысле здесь систематизировать нечего, понятия «эмпирические». Кроме быть может состояний объекта, это ближе к конечным автоматам.

Вот профиль Виталия Луговского

http://stackoverflow.com/users/293147/sk-logic

Вот его мнение на эту тему

http://stackoverflow.com/questions/2979858/is-oop-based-on-any-branch-of-math...

Спасибо за ссылки, буду смотреть.

По поводу ООП и эмпирических понятий: не обязательно ООП; было бы интересно посмотреть, например, на введение какой-нибудь метрики связности кода в терминах интерфейсов и состояний объектов.

Практической пользы не ищу.

Про теорию категорий и лямбда-исчисление ничего не знаю.

Things I do not like: C++, Lisp, VHDL, OOP.

Things I like: C++11, Lisp macros, Verilog, JavaScript.

Щито?

Вполне ожидаемо. Новые фичи С++ сделали его более-менее удобным языком. По крайней мере меня он раздражает в разы меньше чем раньше. Лиспец Луговский всегда любил только за макросы и не любил за все остальное. Непонятно конечно что он в жабоскрипте нашел.

У ООП и определения то нет, какая уж тут теория?

ооп — прокрустово ложе немощных ПТУшников! фп, опердени и штанга — выбор погромиста

Новые фичи С++ сделали его более-менее удобным языком.

Ух ё ж.

только за макросы

Ну в CL они весьма посредственные. Уж если за что его и любить, так это за интерактивность разработки (ну или как это назвать)

Ну в CL они весьма посредственные.

В CL они тупые, как грабли, и потому фундаментальные. Любая более сложная макросистема (вроде той же гигиенки из ракетки) может быть построена на основа фундаментальной макросистемы, а вот в обратную сторону уже сложнее.

Только вот макросы на самом деле не нужны и опасны. DSL должны быть внешними, и строиться на текстовых препроцессорах. CamlP4 уже намного ближе к идеалу.

ООП - фундаментальная философия моделирования сущностей реального мира и их взаимоотношений. Никакая другая модель не приблизилась настолько к реальности, как это получилось у ООП. Конечно же, ООП/OOD еще не идеальны, и есть над чем работать, но все равно ничего лучше человечество пока не придумало.

VHDL

Verilog

Ололо, они одинаковые! Разница только в синтаксисе. Быдлокодер такой быдлокодер.

а вот и немощный птушник

Теория Категорий - фундаментальная философия моделирования сущностей реального мира и их взаимоотношений. Никакая другая модель не приблизилась настолько к реальности, как это получилось у Теории Категорий. Конечно же, Теория Категорий уже идеальна, но есть и над чем работать, и все равно ничего лучше человечество пока не придумало.

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

Дебил, я лишь заменил ооп на теорию категорий, чтобы показать бессмысленность его болтовни примером бессмыленной болтовни. Ты наверное тоже немощный птушник без мозгов?

КАТЕГОРИЧНО

Посоветуйте книги по X, с чего начать изучать Y

Ту тему видел, но как гуглить не придумал.

на введение какой-нибудь метрики связности кода в терминах интерфейсов и состояний объектов.

тоже интересуюсь, видимо надо изучать теорию систем и теорию сложности. Объекты и интерфейс видимо частный случай.

ООП - фундаментальная философия моделирования сущностей реального мира и их взаимоотношений.

«слон — это бегемот с хоботом и большими ушами»

Было уже

Подкиньте дельную книженцию про ООП на русском

С ЛОРа ушёл, а больным на голову остался. Вполне ожидаемо.

Разницу в формулировке вопроса не увидит только слепой

Теория ООП

Ладно, к словам придираться не будем. Приведу примерную литературку по терии ООП:

Иан Грэхем «Объектно-ориентированные методы. Принципы и практика», 2004, Вильямс; 880 стр., с ил.; ISBN 5-8459-0438-2, 0-201-61913-X.

В одном из предыдущих тредов на эту же тему советовали глянуть в сторону языка Smalltalk и вот этой книги по нему, которую обычно называют bluebook

А инглиш у этого упоротого вообще на уровне «мгимо финишед». Позорище!

А инглиш у этого упоротого вообще на уровне «мгимо финишед». Позорище!

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

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

Да ну? defmacro написанный на define-syntax/syntax-case есть.

Жду гигиеническую реализацию define-syntax/syntax-case на CL. Пока такие не встречались.

Да ну? defmacro написанный на define-syntax/syntax-case есть.

Ну и не через жопу ли это?

Жду гигиеническую реализацию define-syntax/syntax-case на CL. Пока такие не встречались.

Плохо искал.

Человек, считающий себя айтишником, ОБЯЗАН знать английский хотя бы на уровне советской средней школы. Обязан хотя бы знать, для чего нужны артикли. Вся информация по айти в современном мире только на английском, и тот, кто языком не владеет, не может считать себя специалистом.

ЗЫ: кстати, там (на SO) еще и Eddy-Em позорит ЛОР своим рунглишем.

Человек, считающий себя айтишником, ОБЯЗАН знать английский хотя бы на уровне советской средней школы.

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

Не знаю, где ты таких находишь. Я в такие подворотни не хожу, с таким быдлом не общаюсь. Почитай списки рассылки любого серьезного open source проекта - за очень редкими исключениями там у всех неплохой английский, независимо от национальности.

Не знаю, где ты таких находишь. Я в такие подворотни не хожу, с таким быдлом не общаюсь

Какой-нибудь сисадмин в филиале финской конторы который настраивает нашу циску у заказчика из Сингапура, например.

не ссорьтесь, девочки. Вы обе профнепригодны. Может попробовать другое ремесло?

в профиль свой посмотри, пригодный: www.linux.org.ru/people/emulek/ За такие темы надо гнать с форума о линуксе ссаными тряпками.

сисадмин в филиале финской конторы

Похоже, этой конторе пора уволить HR-ов и нанять вменяемых.

у заказчика из Сингапура

В Сигнапуре английский - государственный язык.

в профиль свой посмотри, пригодный: www.linux.org.ru/people/emulek/ За такие темы надо гнать с форума о линуксе ссаными тряпками.

что тебе не понравилось? Тема про mail.ru? Я там вроде русским языком написал:

тег «не нужно» у меня не влез. Извини. Должно быть очевидно. Я надеялся на помощь школьников, которые умеют всякое говно маздайное в wine запускать.

Да, я не силён в запуске маздайного говна в wine, это серьёзный минус?

По мнению Панчула второй тип вполне успешен

Ну да ну да, ошеломительный успех - работа в макдональдсе.

что тебе не понравилось?

Полагаю, гражданин расстроился за разорванный пердак. Это бывает, не обращай внимания.

кстати, тебе задачка админская: надо запустить на своём локалхосте HEX от мылару. Как ты решишь эту задачу? Цель — получить «терабайт».

Я б не стал связываться с мылру. На кой тебе их терабайт?

Я б не стал связываться с мылру. На кой тебе их терабайт?

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

Да, терабайт в итоге мне дали, но юзать его невозможно, т.к. davfs2 они сломали ещё до того, как сделали.

Надеюсь, бэкап ты шифруешь?

Надеюсь, бэкап ты шифруешь?

нет, я дебил, и не знаю про GnuPG.

Ну, это ж ЛОР, тут каждый второй У/О.

Плохо искал.

Помоги найти. Без гигены повторить синтакисис шаблона-подстановки syntax-rule вполне можно. А вот сделать правильную гигиену... я до сих пор думаю, что в рамках ANSI CL написать гигиенический define-syntax невозможно. Разве что reader перебить на свой и реализовать семантику схемы для макросов (но результат будет очень мало похож на CL, так как перестанет работать обычный defmacro).

Если считаешь, что возможно, покажи.

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