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

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

STLC, MLTT, теория типов, теория доменов, теория категорий и даже онтология являются онтопиком.



  1. Buy and sell bitcoins near you
  2. Telegram - SuperDeals