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

[avva]

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

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

Comments

[abreslav.livejournal.com]

Мне кажется, в статье разница прописана довольно четко: в случае объектов есть позднее связывание, которое автор описывает как применение функций высших порядков, в случае АТД, как верно отметил kouzdra, все можно описать через экзистенциальные типы.

Если есть еще конкретные вопросы, я готов вчитаться глубже и попробовать пообсуждать.