Вот не ожидал

[vak]

"...Крупный критик ООП -... известный специалист по программированию - Александр Степанов, который работая в Bell Labs участвовал в создании C++ вместе c Бьерном Страуструпом, а впоследствии, уже по приглашению в HP Labs, написал Standard Template Library (STL). Александр Александрович полностью разочаровался в парадигме ООП, в частности он пишет: "Я уверен, что ООП методологически неверна. Она начинает с построения классов. Это как если бы математики начинали бы с аксиом. Но реально никто не начинает с аксиом, все начинают с доказательств. Только когда найден набор подходящих доказательств, лишь тогда на этой основе выводится аксиома. Т.е. в математике вы заканчиваете аксиомой. Тоже самое и с программированием: сначала вы должны начинать развивать алгоритмы, и только в конце этой работы приходите к тому, что вы в состоянии сформулировать четкие и непротиворечивые интерфейсы. Именно из-за этой неразберихи в ООП так популярен рефакторинг - из-за ущербности парадигмы вы просто обречены на переписывание программы, уже в тот самый момент, когда только задумали её спроектировать в ООП-стиле".

(отсюда)

Comments

[kondybas.livejournal.com]

Строго говоря, набор аксиом устаканивается довольно рано в любой дисциплине, и всякая новая идея почти неминуемо редукционизмом сводится к базовым примитивам. Выродить действительно новую аксиому удается единицам. Та же аксиома о параллельных просуществовала несколько тысяч лет, прежде, чем была обобщена Лобачевским-Риманом. А вообще, конечно, аксиомы не выдумывают, и не подбирают. Они сами, как грибы, проклевываются из повседневной практики.

В вычтехнике аксиоматика не сильно поменялась со времен Тьюринга-Винера. Переменная, операция, поток - вот и все. Как в геометрии точка, прямая и плоскость. Все остальное - и объекты в т.ч. - всего лишь производные от базовых примитивов.

[tihii-bred.livejournal.com]

Переменная, операция, поток...

А как же лямбда?

Тьюринг и Винер это замечательно, но почему же все забывают Чёрча и МакКарти?