#теория_типов — Public Fediverse posts

[Перевод] Мета-теория связей 0.0.3

Этому миру нужна новая теория — теория, которая могла бы описать все существующие теории на планете. Теория, которая смогла бы описать философию, математику, физику и психологию единым и вычислим языком, чтобы сделать все виды наук вычислимыми. Именно над этим мы сейчас работаем. Когда нам удастся добиться успеха, эта теория станет единой мета-теорией всего и коснётся каждого на этой планете. Прошел год с момента нашей последней публикации, и наша задача — поделиться достигнутым прогрессом с русскоязычной аудиторией. Это всё ещё не финальная версия, а черновик, перевод прошлогодней статьи на английском с улучшениями. Поэтому мы будем рады любым отзывам, а также вашему участию в развитии мета-теории связей. Как и всё, что мы делали раньше, теория связей публикуется и передаётся в общественное достояние — она принадлежит человечеству, а значит, и вам. У этой работы много авторов, но сама работа гораздо важнее любого отдельного авторства. Мы надеемся, что уже сегодня она сможет принести пользу ещё большему числу людей. Мы приглашаем вас стать частью этого захватывающего приключения. Стать свидетелем рождения мета-теории

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

#метатеория #теория_связей #реляционная_алгебра #ассоциативная_теория #математика #теория_множеств #теория_типов #графовая_теория #реляционная_модель_данных #ассоциативная_модель_данных

Кратко о вариантности с примерами на 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 #ковариантность #контравариантность

Рекурсивные типы. Часть 5/5. Занимательный матан

Содержание пятой части: Натуральные числа Разложение в ряд Производные от типов Производные от экспоненциалов Производные от рекурсивных типов

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

#теория_типов #рекурсивные_типы #производные_типов #дифференцирование_типов #производные_от_типов

Рекурсивные типы. Часть 4/5. Схемы рекурсии

Содержание четвёртой части: Обобщение свёрток/развёрток Параморфизм и другие схемы рекурсии Хистоморфизм Футуморфизм

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

#теория_типов #рекурсивные_типы #схемы_рекурсии

Рекурсивные типы. Часть 3/5. Свободные контейнеры

Сравнительно небольшая часть обзора, посвящённая свободным контейнерам. Содержание: Свободный контейнер Более свободный контейнер Батуты Ко-свободный контейнер Промежуточный итог

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

#теория_типов #рекурсивные_типы #свободная_монада #батуты #трамплин

Рекурсивные типы. Часть 2/5. Неподвижные точки конструкторов типов

Содержание второй части: Неподвижные точки конструкторов типов Начальная F-алгебра Наибольшая неподвижная точка Классы типов неподвижных точек

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

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

Типы в программировании как математические множества

Типы в программировании можно( и нужно ) рассматривать как математические множества. Мысль хоть и очевидная, но из моей головы давно выветрилась. Именно поэтому я и решил написать эту статью: чтобы напомнить о ней самому себе и тем, кто о ней тоже забыл или даже не знал.

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

#теория_типов #c# #полиморфизм #множества #типы #математика_для_программистов

Обобщённые типы. Часть 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 #функциональное_программирование #теория_типов #обобщенные_типы #классы_типов

[Перевод] Теория Связей 0.0.1

Этому миру требуется новая теория, теория, которая могла бы описать все теории на планете. Теория которая могла бы одинаково легко описывать философию, математику, физику и психологию. Сделать все виды наук вычислимыми. Именно над этим мы и работаем. Эта теория, если у нас всё получится, станет единой метатеорией всего. Прошёл год с прошлой публикации, и сейчас наша задача поделиться нашим прогрессом. Это по прежнему не стабильная версия, это черновик. И поэтому мы будем рады любой обратной связи, а так же участию в разработке теории связей. Как и всё что мы делали до этого, теория связей публикуется в общественное достояние и принадлежит человечеству. То есть именно тебе. У этого труда множество авторов, однако сам этот труд намного важнее конкретного авторства. И мы надеемся уже сегодня это сможет быть полезно каждому. Мы приглашаем тебя стать частью этого увлекательного приключения. Стать свидетелем рождения метатеории

https://habr.com/ru/companies/deepfoundation/articles/804617/

#метатеория #теория_связей #теория_отношений #ассоциативная_теория #математика #теория_множеств #теория_типов #теория_графов #реляционная_алгебра #ассоциативная_модель_данных