Категории
tlgbot
Добавить
Каталог
Подробное описание канала
Типы в языках программирования, моделирования, представления знаний и жизни
Обсуждаем моделирование реального (или не очень) мира при помощи типов - зависимых или независимых (можно даже динамических, но только шёпотом).
STLC, MLTT, теория типов, теория доменов, теория категорий и даже онтология являются онтопиком.
Перейти
25
@typeslife
450
11 окт 2024
Релевантные каналы и боты
R (язык программирования)
2197
@rlang_ru
IT курсы / Программирование
13981
@hacckingbook
Курсы программирования
9
@kursi_po_programmirovaniu
Ruby: разработка, программирование
5
@rubyrangers
Avito Career
20379
@avito_career
Язык Python для начинающих
1143
приватный
Гайды по JavaScript | Программирование
9156
@guides_js
👨💻 DevelopCode - о программировании и IT новостях
95
@programmers_developcode
Финский язык
355
@suomenru
Язык программирования Julia / Julia programming language
658
@julialanguage
🌿Начитайка🌿 детские книги, билингвизм, русский язык и перевод)
2606
@nachitajka
Русский язык с Ольгой Ш
2734
@olgashulyar