#ковариантность — Public Fediverse posts

Кратко о вариантности с примерами на TypeScript

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

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

#теория_типов #ооп #typescript #вариантность #дженерики #generics #ковариантность #контравариантность

Кратко о вариантности с примерами на TypeScript

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

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

#теория_типов #ооп #typescript #вариантность #дженерики #generics #ковариантность #контравариантность

Кратко о вариантности с примерами на TypeScript

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

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

#теория_типов #ооп #typescript #вариантность #дженерики #generics #ковариантность #контравариантность

Кратко о вариантности с примерами на TypeScript

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

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

#теория_типов #ооп #typescript #вариантность #дженерики #generics #ковариантность #контравариантность

Где мне это пригодится в жизни или применение Nothing в Kotlin на примере

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

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

#kotlin #системы_типов #функциональное_программирование #either #ковариантность #covariance #nothing

Где мне это пригодится в жизни или применение Nothing в Kotlin на примере

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

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

#kotlin #системы_типов #функциональное_программирование #either #ковариантность #covariance #nothing

Где мне это пригодится в жизни или применение Nothing в Kotlin на примере

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

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

#kotlin #системы_типов #функциональное_программирование #either #ковариантность #covariance #nothing

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

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

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

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

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

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

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

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