Типы в языках программирования, моделирования, представления знаний и жизни
@typeslife
Обсуждаем моделирование реального (или не очень) мира при помощи типов - зависимых или независимых (можно даже динамических, но только шёпотом). STLC, MLTT, теория типов, теория доменов, теория категорий и даже онтология являются онтопиком.
467участников
🇷🇺
Похожие чаты
Все →
Seo Задания
94.8K подп.
Чат с разработчиками
46.5K подп.
SEO-специалист WB/OZON
42.5K подп.
Искусственный Интеллект | GPT ИИ 🤖
37.1K подп.
SEO описание карточек Wildberries сео оптимизация для карточки вб
36.9K подп.
GigaChat | Gemini | Sora
36.3K подп.
SEO оптимизация карточек Вайлдбериз сео вб описание для wb
34.3K подп.
IT работа разработка jobs
32.8K подп.
JavaScript Jobs — чат
26.8K подп.
Партнёрка_1С
24.5K подп.
→
Все чаты
«Программирование и IT»