#обобщенные_типы — Public Fediverse posts

Обобщённые типы. Часть 3/3. Применение контейнерных типов

В последней третьей части обзора продемонстрировано, как на основе обобщённых типов-контейнеров реализуются различные ФП-техники “чистого” построения “эффективных” программ. В заключении будет отмечена роль теории категорий в обосновании важности абстракций, построенных над обобщёнными типами. Читать третью часть обзора

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

#scala #функциональное_программирование #теория_типов #обобщенные_типы #монады #теория_категорий

Обобщённые типы. Часть 1/3. Полиморфные типы высокого рода

В предыдущей статье раскрывались некоторые базовые понятия теории типов. В этот раз мы рассмотрим обобщённые типы ( generics ) – необходимость появления такой абстракции, ключевые особенности и различные сценарии использования в программировании. Читать первую часть

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

#теория_типов #scala #функциональное_программирование #обобщенные_типы

Обобщённые типы. Часть 2/3. Классы типов и контейнеры

Это вторая часть обзора обобщённых типов, в которой мы расскажем о классах типов и типах-контейнерах. Читать вторую часть обзора

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

#scala #функциональное_программирование #теория_типов #обобщенные_типы #классы_типов

Вариантность обобщенных типов в картинках и простых примерах

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

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

#ковариантность #контравариантность #дженерики #инвариантность #java #ооп #обобщенные_типы

Вариантность обобщенных типов в картинках и простых примерах

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

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

#ковариантность #контравариантность #дженерики #инвариантность #java #ооп #обобщенные_типы