Алгебраические типы данных в Java.

ru_java — 20.01.2010

Алгебраические типы данных (algebraic data types, ADT) — это такая штука, без которых не обходится ни один программист на функциональных языках (тех их них, в которых есть типы), но они могут пригодиться и в объектно-ориентированных. В ООП алгебраические типы данных занимают (могут занимать) промежуточное положение между enumerations и полноценной иерархией классов. В хорошем, годном языке Scala ADT есть (там они называются case classes), но в нашей нищебродской джаве их нет, как нет и многих других вкусностей. А хочется. Давайте попробуем разобраться, как бы их можно заполучить.

Возьмём типичный пример применения ADT: множество способов проведения платежа (точнее, биллинговой информации) в интернет-магазине. Допустим, у нас есть следующие опции:

• оплата наличными при доставке курьером (cash on delivery);
• оплата кредитной карточкой;
• выставление счёта.

В таком языке как Haskell это можно описать прямо дословно (пример невозбранно стырен из книги Real World Haskell):

Практически дословно эту конструкцию можно перевести в Scala:

В Java, конечно, мы лишены такого счастья. Но кое-что всё-таки можно сделать.

Обычно начинают с того, что делают всю иерархию классов. Потом вспоминают, что создавать новый инстанс класса CashOnDelivery каждый раз — не очень умно, и делают его синглтоном. Потом понимают, что совершенно разный синтаксис обращения к подтипам — не очень кошерно, и делают либо кэш в виде HashMap, либо просто поля в каком-то надклассе. В конечном счёте можно прийти вот к такой конструкции:

Всё это, конечно, страшно нарушает священный талмуд сановских Code Conventions for Java, но зато делает возможным почти настоящий синтаксис работы с ADT:

Матчинг, правда, приходится делать через instanceof:

Но это выглядит достаточно прилично, чтобы можно было пользоваться.

Таким образом, алгебраические типы данных в Java всё же существуют. Но как они это делают!.. (с) Соответственно, любой разумный человек должен переключаться на Scala сразу же, как это станет возможным. Да, это была провокация. Но помечтать-то можно?

Данная идея принадлежит перу akuklev, и теперь используется очень много где.

Оставить комментарий

Популярные посты:

bafostri

Как удивить близких за ужином: проверенные приёмы и неожиданные сочетания блюд

radulova

Всё начинается с детства

von_hoffmann

1 июня Православная церковь отмечает день памяти Виссариона Мефодиевича

el_tolstyh

Английская набережная.

e_kaspersky

Пик Гонконга.

matsam

Утреннее

365days

Ежедневный дайджест марафона #простолето — 11 июня

padolski

Грибок Aspergillus: Смертельная Опасность в Воздухе и Почве – Как Климат Меняет

foto_history

Хороший, по итогу год - я в нём дембельнулся (я про 1991 говорю: ДМБ-91,

• Архив