8 февраля 2013 · Комментарий

Без заголовка

Имя не сохранено · Оригинал в ЖЖ ↗ · Ссылка на запись

Система типов решает вопросы уровня "сюда можно только число, сюда что-либо из множества cardinal_direction, а сюда только единицу измерения", для чего содержит аналоги part2:Classification. Помещение фактов под модальность тоже осуществляется там. Хорошая система типов это первый уровень формализации, а человекочитаемые нотации и транспортные форматы уже последствия. Поверх этого может быть реализована библиотека "жизненный цикл". А также, библиотеки "пространство", "время", "единицы измерения", etc.