Типы в языках программирования, моделирования, представления знаний и жизни

@typeslife

468

подписчиков

Чаты

категория

Описание

Обсуждаем моделирование реального (или не очень) мира при помощи типов - зависимых или независимых (можно даже динамических, но только шёпотом). STLC, MLTT, теория типов, теория доменов, теория категорий и даже онтология являются онтопиком.

Открыть в Telegram

Динамика подписчиков

+1 (+0.21%)

Вопросы и ответы

Сколько участников у чата Типы в языках программирования, моделирования, представления знаний и жизни?

У чата @typeslife 468 участников на момент последнего обновления данных.

В какой категории чат Типы в языках программирования, моделирования, представления знаний и жизни?

Типы в языках программирования, моделирования, представления знаний и жизни относится к категории «Чаты».

Как вступить в чат Типы в языках программирования, моделирования, представления знаний и жизни?

Нажмите кнопку «Открыть в Telegram» на странице чата, или перейдите по ссылке https://t.me/typeslife. Откроется приложение Telegram, где можно вступить в чат.

Как называется этот чат в Telegram?

Username: @typeslife. Прямая ссылка: https://t.me/typeslife.