Post #425
3.22K
Для обсуждения моделирования мира, онтологики и взаимосвязи всего этого с теорией типов и теорией категорий был создан чат «Типы в языках программирования, моделирования, представления знаний и жизни». Если вам интересны эти темы — присоединяйтесь: https://t.me/typeslife
Telegram Типы в языках программирования, моделирования, представления знаний и жизни Обсуждаем моделирование реального (или не очень) мира при помощи типов - зависимых или независимых (можно даже динамических, но только шёпотом).
STLC, MLTT, теория типов, теория доменов, теория категорий и даже онтология являются онтопиком.