Категории
tlgbot
Добавить
Каталог
Подробное описание канала
Типы в языках программирования, моделирования, представления знаний и жизни
Обсуждаем моделирование реального (или не очень) мира при помощи типов - зависимых или независимых (можно даже динамических, но только шёпотом).
STLC, MLTT, теория типов, теория доменов, теория категорий и даже онтология являются онтопиком.
Перейти
27
@typeslife
450
11 окт 2024
Релевантные каналы и боты