[Перевод] Ранняя история алгебраических типов данных

Это началось со статьи "Алгебраические типы данных на самом деле не такие страшные". Мы знаем о типах-суммах и типах-произведениях. Но задумывались ли вы когда-нибудь о том, откуда они получили такие имена, и как вообще были открыты они и их свойства? Я провел последнюю неделю в кроличьей норе истории, и я просто обязан поделиться тем, что я нашёл.

https://habr.com/ru/articles/962522/

#алгебраические_типы_данных #история_it #история #типизация #типсумма #типы_данных

Применение алгебраических типов данных для моделирования ошибок и сообщений в журнале

В функциональном программировании широко используются так называемые алгебраические типы данных. Такие данные формируются из более простых типов с использованием всего двух операций — "суммы" и "произведения". Использование таких математических операций оказывается очень удобным с точки зрения последующей обработки с помощью сопоставления с образцом ("паттерн-матчинг"/pattern matching). Помимо удобства при разработке, математичность получающихся структур данных позволяет делать более понятные, прозрачные и логичные конструкции, находящие применение в самых разных предметных областях. В этой заметке посмотрим на примеры моделирования ошибок и сообщений логирования.

https://habr.com/ru/articles/774974/

#Scala #алгебраические_типы_данных #типобезопасное_логирование