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

Возможно, кто-то из читателей, увидев заголовок этой статьи, подумает что-нибудь вроде:
_"Что?! Алгебраические типы данных?! Это же что-то из мира функциональных языков программирования. Python?! Ну нет... Где Python со своей динамической утиной типизацией, а где типы данных, и уж тем более алгебраические..."_
Что-то в таком духе. Но, на самом деле, в Python есть своя [система типов]( https://docs.python.org/3/reference/datamodel.html#the-standard-type-hierarchy ), кроме того Python считается языком со _строгой типизацией_ , а благодаря [mypy]( http://www.mypy-lang.org/ ) и аннотациям, корректность используемых типов может быть проверена статически без непосредственного запуска программы. Помимо всех этих достаточно интересных особенностей, в Python есть возможность работать и с _алгебраическими типами данных_. Так что же это за типы данных, как они выглядят в Python, и какую практическую пользу приносят — попробуем разобраться в этой статье.
[Читать далее]( https://habr.com/ru/post/566920/?utm_source=habrahabr&utm_medium=rss&utm_campaign=566920#habracut )