Комментарии 7
А из книги Седжвика какие именно тезисы Вы использовали в статье? ))
Похоже на небольшой реферат :)
Аж до четвёртого абзаца пытался понять, причём ООП и Java к Алгебраическому Типу Данных.
В статье описан Абстрактный Тип Данных, а не Алгебраический.
Я ошибочно полагал, что из общего контекста и наличия слов вроде «абстрактный» можно придти к выводу, что АТД есть Абстрактный Тип Данных :) :)
Я ошибочно полагал, что из общего контекста и наличия слов вроде «абстрактный» можно придти к выводу, что АТД есть Абстрактный Тип Данных :) :)
В том то и дело, что слово «абстрактный» первый раз встречается только в 4-м абзаце. А словосочетание «абстрактный тип данных» не встречается в статье вообще ни разу, а только упоминается косвенно. Я к тому, что если уж активно используете некую аббревиатуру, то неплохо было бы её расшифровать в начале статьи.
Общепринято, что АТД — это Алгебраический Тип Данных. Статью заминусили хаскелисты и люди, которым просто обидно за терминологию. Всячески поддерживаю. Сам полез внутрь узнать что-нибудь АТД в джаве и обломался :( А про абстрактные классы и интерфейсы в джаве уже ничего интересного написать невозможно — все обмусолено множество раз.
Зарегистрируйтесь на Хабре, чтобы оставить комментарий
Концепция Абстрактного Типа Данных