/typeslife

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

public

Open in Telegram →

467

members

—

language

—

category

about

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