о типах (программистское)

[avva]

Я искренне пытался понять эту статью, сравнивающую объекты и абстрактные типы данных, но в итоге всего лишь сломал мозг. Основной аргумент мне кажется то ли невнятным, то ли очевидно неверным. В результате ее прочтения я решил, что объекты и ADTs более похожи друг на друга, чем до того считал (т.е. пришел к выводу, противоположному утверждениям статьи).

Скорее всего, виноват я, а не автор, и у меня просто не получается понять, что он говорит (главным образом, когда он говорит об OOP). Кстати, если вы понимаете эту статью и согласны с ней, я был бы рад задать вам пару вопросов. Короче, основным результатом моей фрустрации стало то, что я начал читать Types and Programming Languages Пирса. Вот прочитаю и буду все знать про типы. Пока что очень нравится, отлично объясняет и заинтересовывает. Кстати, обнаружился черновик русского перевода. Мне он ни к чему, но может кому-то пригодится.

Comments

[avva.livejournal.com]

Спасибо.

[psr1913plus16.livejournal.com]

Если абстрагироваться от деталей (которые в каких-то случаях важны, в каких-то - нет), то OOP - это результат применения к ADT процедуры _популяризации_, в результате которой оно становится доступным для понимания простым (commodity) программистам. После чего им можно дать задание запрограммировать результат анализа предметной области и не беспокоиться, что они сломают на этом мозг. Для собственно Computer же Science, ее существенных и интересных задач, OOP не имеет никакого значения.