Инструменты Digitable

Архитектор

Панель слева, холст посередине, модель на языке справа. Нарисованное превращается в объявления теорката и тут же проверяется компилятором — тем самым, что стоит за flang check. Написанное раскладывается обратно в фигуры.

Холст и модель

Задачи целиком

Стрелки и объекты

Множества

Разности среди них нет, и это не пропуск: разность — это серп, а разбор геометрии знает только круг в круге и линзу с подписью. Кнопка положила бы фигуру, которую страница обратно не прочтёт. Круг на холсте заштрихован, а рамка объекта — нет, и это не украшение: у множества есть внутренность, у объекта её нет. Отсюда три случая читаются раньше, чем прочитаны подписи — там, где круги налегают, штриховка удваивается и линза темнее обоих; у вложенного круга вдвое заштрихован он весь; у разведённых нет ни одной тёмной точки. Пунктиром круги не рисуются намеренно: пунктир на этом холсте уже занят выведенной стрелкой — композицией, — а к тому же он меняет только границу, тогда как вложение и общая часть живут в площади.

Стикер — это прямоугольник с подписью, колонка — рамка редактора: и то и другое здесь родное, поэтому стикер таскают, красят и отменяют так же, как всё остальное. Доска живёт в адресе ссылки, а не на сервере и не в этом браузере. Кто получил ссылку целиком — открыл доску; закрытая вкладка без собранной ссылки не сохраняет ничего. Пока режим включён, модель на языке с холста не читается: тридцать стикеров дали бы тридцать объявлений и столько же жалоб.

Раскладка Ретроспектива Четыре колонки разговора о прошедшем отрезке. Роадмап Четыре колонки по времени, без единой даты: сейчас, дальше, потом и явное «не делаем».

В колонку Цвет

Ссылка на доску

Загрузить доску из файла

Три ссылки, и обещания у них разные. Прочитайте, что именно уедет: не та ссылка молчит о том, что она не та, — на том конце это выяснится, когда время уже потрачено.

Ссылка на доску

Уедет САМА ДОСКА: она лежит во фрагменте адреса, после «#», и ни на каком сервере её нет. Предел — 2000 знаков, это примерно 120 стикеров; длиннее ссылка не соберётся вовсе, и будет сказано, на сколько она длинна. Это снимок, а не общая работа: правки на том конце сюда не вернутся.

Совместный сеанс

Уедет КЛЮЧ ОТ КОМНАТЫ на стенде, а не холст. Рисуете вместе и в реальном времени, но комната живёт на стенде, и ссылка уводит туда: cookie сессии выставлена SameSite=Lax, и открытый с портала сокет ушёл бы без неё. Ослаблять cookie ради удобства мы не станем — это проверка доступа, а не настройка.

Разговор

Уедет КОМНАТА РАЗГОВОРА и только она: слова, не холст. Чат живёт на chat.digitable.life — другая служба, и холста она не видит вовсе. Позвать к холсту и позвать в разговор — два разных приглашения, и одной ссылкой они не бывают.

Что выделено, то и уезжает. Ничего не выделено — уезжает всё полотно; выделена часть — только она, вместе с подписями внутри рамок. .digitable — наш формат, и он же сама сцена: тот самый файл, что раньше уезжал как .excalidraw, плюс приписка с моделью на языке. Переименуйте его в .excalidraw — откроется в Excalidraw (excalidraw.com, плагин Obsidian); перетаскиванием берётся и без переименования. Файлы .excalidraw, выгруженные раньше, страница открывает по-прежнему. .fp — модель на языке, ровно та, что в колонке справа: спека рисунка, которую читают и человек, и компилятор. Расширения .flang, .fp, .фп и .фланг для него равны, кириллицу в имени берут не все — потому по умолчанию .fp; обход каталога (flang test) видит только .flang. SVG — для чужих досок: Boardmix, Miro, draw.io и Figma формат .excalidraw не принимают, а SVG берут; наш SVG вдобавок несёт сцену внутри себя, поэтому в Excalidraw возвращается без потерь. PNG — просто картинка вдвое крупнее экрана: её берут все, включая FigJam, но обратно она не открывается нигде. Доска со стикерами выгружается своим файлом в ящике «Доска» — тот возвращается только сюда.

Открыть файл схемы (.digitable, .excalidraw или наш SVG)

Редактор открывается сам и весит около 430 КБ по сети.

Модель на языке

Справочник рисовальщика

Как здесь рисуют

Это не доска для схем вообще. Здесь рисуют модель на нашем языке: каждая фигура — объявление, и нарисованное тут же читает тот самый компилятор, что стоит за flang check. Его ответ печатается под панелью модели.

Рисовать можно двумя способами. Инструменты языка стоят в панели самого редактора, над холстом: объект (клавиша O или 2), множество (N или 3), морфизм (M или 4), композиция (C или 5). Каждый включается уже настроенным — нужная фигура, нужный стиль линии, нужный цвет пера. Рядом там же работа с полотном: выделение (V или 1), рука (H), подпись (T или 6), ластик (E или 7) и замок «держать инструмент» (Q), чтобы не переключаться после каждой фигуры. Клавиши работают и на русской раскладке — редактор смотрит на физическую кнопку, а не на букву. Второй способ — поставить готовый кусок целиком: шаблоны в левой колонке и библиотека языка (кнопка в правом верхнем углу холста). Шаблоны разложены по трём группам — задачи целиком (силлогизм текстом, он же кругами, светофор), стрелки и объекты (морфизм, композиция, квадрат, пара для изоморфизма, единица, объект) и множества (вложение, общая часть, объединение); у каждого написано, что он начинает. Отмена, повтор и масштаб — внизу холста.

Экран разложен на три колонки: панель, холст, модель. Они не сжимаются под окно — колонка холста уже панели, и сжатая она превращается в огрызок, из-за которого страницу однажды переделывали. Поэтому не помещающееся уезжает за край, а экран ездит по ленте: рельс над колонками показывает, где вы сейчас, и перевозит к соседней. На широком мониторе рельса нет — везти некуда. Приём взят у нашего оконного менеджера digitwm, где окна живут на такой же ленте колонок.

Цветом на холсте говорится про беду, а не про норму. Раньше принятое горело зелёным — и на исправной модели зелёным было всё, то есть цвет ничего не выделял. Теперь наоборот: принятое остаётся в цветах палитры, а красным помечается фигура, на объявление которой пожаловался компилятор. Таких обычно ноль или одна, и видно их сразу. Недописанное не ругается: рамка без подписи ещё ничего не объявила. Положительный ответ печатается словами под панелью модели — «принято, фигур 5 из 5». Фигуру, которой вы выбрали цвет руками, страница не трогает.

Слова языка показаны не списком, а примерами: карточек тринадцать — одиннадцать конструкций (категория, объект, морфизм с единицей, цепочка, функтор, бифунктор, изоморфизм, моноид, группа, теорема, монада) и два кейса из них же (силлогизм и светофор). Кнопка рядом с примером кладёт его в панель модели. Что во что превращается на холсте — в таблице «Что на холсте чем становится».

Совместного редактирования здесь нет, и искать его в меню не нужно. Двое одновременно на одном холсте — это живая комната: сервер, который держит связь между браузерами. У Excalidraw такая комната есть, но живёт она в его собственном приложении, а портал берёт у него только редактор — в собранном файле нет ни одной строки про сокеты. Что работает сегодня: «Сохранить» кладёт сцену файлом, «Открыть» принимает чужой. Файлом же схема уходит в переписку или в чат Digitable — он рядом и тоже наш. Это обмен снимками, а не работа вдвоём, и называть это совместным доступом было бы неправдой.

Редактор здесь свой: это форк Excalidraw, дописанный под язык Digitable. От Excalidraw остался формат — сцену можно сохранить и открыть в любом редакторе Excalidraw, и наоборот, потому что объект это по-прежнему рамка, а морфизм — стрелка. Всё остальное наше: панель инструментов говорит словами языка, а не «прямоугольник» и «ромб»; палитра, библиотека, меню и эта помощь — тоже. Ромба, линии и карандаша в панели нет намеренно: в объявления они не переводятся. Горячие клавиши самого холста показывает клавиша «?».

Что на холсте чем становится

На холсте	В языке	Что проверяет компилятор
Рамка с подписью	`объект «Имя»`	имя не занято другим объектом
Вторая и следующие строки подписи в рамке	`«сумма»: деньги`	поле разбирается как поле записи, а тип у него известный
Сплошная стрелка с подписью	`морфизм «Имя» из «А» в «Б»`	оба конца объявлены объектами
Петля на рамке	`единица «А»`	объект объявлен
Пунктирная стрелка	`морфизм «Имя» это «г» после «ф»`	кодомен первой стрелки совпал с доменом второй
Круг внутри круга	`// вложение «Б в А» из «Б» в «А»`	пока ничего: строка печатается комментарием, и круг зелёным не горит
Два круга внахлёст и подпись в общей доле	`// пересечение «Имя» из «Б» и «В» в «А»`	пока ничего: оба круга обязаны лежать в третьем, а общая доля — быть подписана

Пунктир выбран не по вкусу: в коммутативных диаграммах им рисуют выведенную стрелку — ту, существование которой следует из остальных. Композиция и есть такая стрелка: отдельно она не рисуется, она получается из пути.

Круги Эйлера страница уже читает: круг внутри круга — вложение, два круга внахлёст с подписью в общей доле — общая часть, круги врозь — просто два множества. Но объявлением это ещё не становится, и причина не в странице: этих слов не знает та копия языка, которую страница возит. Ни вложение, ни пересечение не стоят в таблице слов копии 0.4.7. У САМОГО ЯЗЫКА они есть, и это проверено прогоном: двоичный 0.7.10 обе записи разбирает и называет их своими именами — embeddings, intersections (прогон flang check 5 сентября 2026; контракт — flang/cat/SETS.md). Отстала копия — 0.4.7 против выпущенного 0.7.10, — а не язык. Поэтому прочитанное печатается в панели комментарием — со знаком // впереди. Компилятор такую строку пропускает молча, зелёным круг не загорится, и обещать здесь принятый разбор было бы враньём. Сам круг при этом объявляет объект, как рамка, — это принимается. Три шаблона в группе «Множества» кладут ровно ту геометрию, которую разбор признаёт: по ней и видно, насколько глубоко должен войти круг, куда встаёт подпись общей доли и почему у объединения круги не налегают.

Примеры на всю поверхность теорката

Тринадцать карточек: одиннадцать на конструкции языка — по одной на слово — и две на кейсы, собранные из них. Рисуются на холсте четыре: объект, морфизм, единица и композиция; только у них есть фигура. Остальное живёт в исходнике, и фигуру для него страница выдумывать не станет. Каждый пример отсюда проходит flang check при сборке портала — той копией языка, которую страница и возит (0.4.7). Настоящий двоичный 0.7.10 отвечает иначе, и умолчать об этом нельзя: код 0 он даёт четырём карточкам из тринадцати, а девяти пишет «проверено НЕ ДО КОНЦА» и называет, чего именно не судит: морфизмы, функторы, бифункторы, изоморфизмы, моноиды, монады. Числа сняты прогоном 5 сентября 2026 — flang check выпуска 0.7.10 по каждой из тринадцати карточек, — а не переписаны со старого замера. Это граница языка, а не страницы, и названа она словами самого компилятора.

Категория

Граница разговора: имена внутри неё уникальны, а объект — это данные с типами. С неё начинается модель на отступной поверхности.

категория «Продажи»

  объект Покупка
    сумма является деньгами
    «постоянный клиент» является признаком

Объект

Объект категории — это тип. Равенство типов номинальное, по имени: два объекта с одинаковыми полями остаются разными.

объект «Заказ»
  «номер»: строка
  «сумма»: число

Морфизм и единица

Стрелка не выполняет переход, а объявляет, что он допустим. Петля на объекте — единица, тождественная стрелка; без неё не сформулировать законы функтора.

объект «Заказ»
объект «Отгрузка»

морфизм «отгрузить» из «Заказ» в «Отгрузка»
единица «Заказ»

Цепочка

Та же композиция, но в порядке чтения: сначала одно, затем другое. Для длинного пути это единственная читаемая запись — «в» после «б» после «а» читается наизнанку. Стыковку компилятор проверяет одинаково в обоих видах.

объект «Заказ»
объект «Отгрузка»
объект «Счёт»

морфизм «отгрузить» из «Заказ» в «Отгрузка»
морфизм «выставить счёт» из «Отгрузка» в «Счёт»

цепочка «оформить заказ»
  сначала «отгрузить»
  затем «выставить счёт»

Функтор

Отображение одной категории в другую целиком: объекты в объекты, поля в поля, морфизмы в морфизмы. Поэтому переход между двумя моделями можно проверить, а не пересказать в комментарии.

объект «Запрос страницы»
  «номер страницы»: число

объект «Условие выборки»
  «смещение»: число

функтор «Страница в выборку» из «Запрос списка» в «Хранилище»
  объект «Запрос страницы» отображается в «Условие выборки»
    поле «номер страницы» отображается в поле «смещение»

Бифунктор

Функтор сразу от двух категорий: пара объектов отображается в объект, пара морфизмов — в морфизм. Так объявляют то, что собирается из двух вещей, — пару, соответствие, произведение.

объект «Заказ»
объект «Отгрузка»
объект «Пара заказов»
объект «Пара отгрузок»

морфизм «отгрузить» из «Заказ» в «Отгрузка»
морфизм «отгрузить обе» из «Пара заказов» в «Пара отгрузок»

бифунктор «Пара» из «Продажи» и «Продажи» в «Пары»
  объекты «Заказ» и «Заказ» отображаются в «Пара заказов»
  объекты «Отгрузка» и «Отгрузка» отображаются в «Пара отгрузок»
  морфизмы «отгрузить» и «отгрузить» отображаются в морфизм «отгрузить обе»

Изоморфизм

Заявление о том, что два представления — одна вещь в двух видах. Стрелки обязаны сходиться концами крест-накрест, и у каждого конца обязана быть объявлена единица.

объект «Заказ»
  номер: строка

объект «Накладная»
  номер: строка

морфизм «выписать» из «Заказ» в «Накладная»
морфизм «по накладной» из «Накладная» в «Заказ»
единица «Заказ»
единица «Накладная»

изоморфизм «Заказ и накладная» из «Заказ» в «Накладная»
  прямой морфизм «выписать»
  обратный морфизм «по накладной»

Моноид

Носитель, операция и единица. Законы писать не нужно: их знает сам вид конструкции, и ассоциативность с нейтральностью компилятор проверяет на сетке значений, взятой из примеров операции.

моноид «Умножение чисел»
  носитель число
  операция «Умножить»
  единица 1

тотальная функция «Умножить»
  принимает левый: число
  принимает правый: число
  возвращает число
  левый умножить на правый

Группа

Отдельного слова «группа» в языке нет, и это находка, а не пропуск: группа — это моноид, у которого объявлено обращение. Строка «обратный элемент» добавляет к прежним законам обратимость.

моноид «Сложение чисел»
  носитель число
  операция «Сложить»
  единица 0
  обратный элемент «Противоположное»

тотальная функция «Сложить»
  принимает левый: число
  принимает правый: число
  возвращает число
  левый плюс правый

тотальная функция «Противоположное»
  принимает значение: число
  возвращает число
  0 минус значение

Теорема

Утверждение о данных, которое проверяется: что дано, где искать свидетельство, каким морфизмом идём и что получаем. Строка «в данных» и превращает рассуждение в проверяемое.

категория «Исполнение заказа»

  объект Заказ
    номер является строкой
    «готов к отгрузке» является состоянием «Готов к отгрузке»

  морфизм «Готовый заказ можно отгрузить»
    если «Готов к отгрузке»
    то «Отгрузить заказ разрешено»
    по закону «Отгружаем только подтверждённое складом»

  теорема «Заказ ЗК-7781 можно отгрузить»
    дано Заказ имеет «готов к отгрузке» равное да
    в данных заказы найти где номер равен «ЗК-7781»
    по морфизму «Готовый заказ можно отгрузить»
    следовательно «Отгрузить заказ разрешено»

Монада

Тип, у которого есть «завернуть» и «схлопнуть два слоя в один». Объявляется на типе, как моноид — на носителе: «возврат» называет η, «соединение» — μ, и обе строки указывают на обычные функции. Внутри тела блок «в монаде» связывает шаги, каждый из которых вправе не дать ответа, — вместо лестницы разборов, которая растёт на каждый шаг.

тип «Возможно» от «А»
  вариант «Есть» содержит значение: «А»
  вариант «Нет»

монада «Возможно» от «А»
  возврат «Обернуть»
  соединение «Сплющить»

тотальная функция «Обернуть» от «А»
  принимает значение: «А»
  возвращает «Возможно» от «А»
  вариант «Есть» с значение равным значение

тотальная функция «Сплющить» от «А»
  принимает вложенное: «Возможно» от («Возможно» от «А»)
  возвращает «Возможно» от «А»
  разбор вложенное
    случай вариант «Есть» с значение как внутри
      то внутри
    случай «Нет»
      то вариант «Нет»

Силлогизм

Все люди смертны, Сократ человек — следовательно, Сократ смертен. Морфизм здесь не переход между данными, а закон, а теорема применяет закон к конкретному Сократу и называет, где искать свидетельство. Фигуры у ЭТОЙ записи нет: категория, морфизм-закон и теорема на холсте не рисуются — весь ответ даёт вердикт под панелью. Нарисовать силлогизм всё же можно, и кругами Эйлера он и рисуется: кнопка «Силлогизм кругами» кладёт на холст Сократа внутри людей внутри смертных. Два кейса рядом делают разную работу: этот вывод ДОКАЗЫВАЕТ теоремой, тот его ПОКАЗЫВАЕТ — и вывод там ровно то третье вложение, которое видно на рисунке, но не объявлено в модели.

категория «Силлогизм»

  объект Человек
    имя является строкой
    «человек» является состоянием «Человек»

  морфизм «Все люди смертны»
    если «Человек»
    то «Смертен»
    по закону «Все люди смертны»

  теорема «Сократ смертен»
    дано Человек имеет «человек» равное да
    в данных люди найти где имя равен «Сократ»
    по морфизму «Все люди смертны»
    следовательно «Смертен»

Светофор

Состояния — объекты, переходы — морфизмы, «остаться на красном» — единица, «через жёлтый к зелёному» — композиция. Четыре слова языка на одной узнаваемой задаче, и каждое видно фигурой. Чего здесь НЕ написано: что из красного сразу в зелёный нельзя. Написано лишь, что такого морфизма не объявлено, — а запрет это утверждение, и ему нужна теорема, как у Сократа.

объект «Красный»
объект «Жёлтый»
объект «Зелёный»

морфизм «зажечь жёлтый» из «Красный» в «Жёлтый»
морфизм «зажечь зелёный» из «Жёлтый» в «Зелёный»
морфизм «погасить» из «Зелёный» в «Красный»
единица «Красный»
морфизм «через жёлтый к зелёному» это «зажечь зелёный» после «зажечь жёлтый»

Чего страница не делает

Круги Эйлера читаются, но не пикселями. Круг внутри круга — вложение, круги внахлёст — общая часть, круги врозь — просто два множества. Само наложение при этом ничего не объявляет: задень фигуру на два пикселя — и «пересечение» появилось бы там, где его не имели в виду. Поэтому общая часть объявляется только с подписью внутри неё (имя у общей части обязательное, и взять его больше неоткуда), а круг, вошедший внутрь почти целиком, получает «не понял, уточните» вместо выдуманного отношения. Геометрию читает только эллипс: прямоугольник в прямоугольнике — привычка группировать, а не нотация. Слова вложение и пересечение у языка есть, и выпуском они вышли: двоичный 0.7.10 разбирает обе записи (проверено прогоном flang check 5 сентября 2026). Отстаёт КОПИЯ, которую возит страница, — 0.4.7 в static/js/vendor/flang/ против выпущенного 0.7.10. Поэтому прочитанное названо оговоркой РЯДОМ с моделью, а не строкой внутри неё: комментарий в теле модели ничего не объявляет и выглядит как объявление, которое кто-то выключил. Оговорка исчезнет сама, без правок страницы, в тот день, когда копия языка догонит выпуск.
Разность множеств фигурой не выражается. Пересечение, вложение и объединение рисуются кругами и читаются обратно — на них стоят три шаблона в группе «Множества». Разность — нет: A без B это серп, а разбор геометрии знает ровно две формы, круг внутри круга и линзу с подписью. Серп не является ни той, ни другой, и кнопка, кладущая его на холст, положила бы фигуру, которую страница обратно не прочтёт. Сказать «A без B» сегодня можно только словами в панели — комментарием, как и всё остальное про множества.
Изоморфизм по паре встречных стрелок не выводится. Пара стрелок туда и обратно изоморфизмом не является: изоморфизм утверждает, что их композиции равны единицам, и это допущение автора, а не свойство рисунка. Написать его в панели можно, компилятор проверит; вывести из картинки — нет.
Зелёный вердикт — это ответ компилятора, а не ручательство за каждое слово модели. Вывод теоремы проверяет всерьёз компилятор МОДЕЛЕЙ FTS (static/js/vendor/fts/) — тот, которому страница и отдаёт модель, начинающуюся словом «категория»: девять порч силлогизма — заключение, которого закон не даёт, ссылка на необъявленный морфизм, посылка мимо объекта, поле, которого нет, — отвергаются с названной причиной. А вот ТИП поля он не проверяет: имя является драконом принимается, и «драконом» становится типом поля. Замер 9 августа 2026 на выпуске 0.4.7: неизвестное слово, опечатка в известном типе и ссылка на необъявленный объект принимаются все три, и строка вердикта на них та же, что на исправной модели. Страница второй проверки языка не заводит намеренно — две проверки одного и того же расходятся молча, — поэтому граница названа здесь: «принято» означает «компилятор не возразил», и типы полей в это не входят.
Модель, начинающаяся словом «категория», — это FTS, прежняя поверхность, и судит её ДРУГОЙ компилятор. Страница выбирает его по первому значащему слову (static/js/flang/surface.js) и не скрывает выбора: вердикт так и печатается — «модель FTS «Имя»: принято». Знать это важно не из любви к истории. Сегодняшний двоичный языка flang check (0.7.10) такую модель ПРИНИМАЕТ с кодом 0 и разбирает как модуль без функций: прогон восьми эталонных моделей раздела /learn/fts/ 5 сентября 2026 — 8 из 8 с кодом 0 и «функций 0». flang check --proof договаривает: «нет объявленных функций», «нет объявленных законов», а теорема — «объявлено, не доказано: старая форма теоремы (наследие FTS) разбирается, но следствий из неё не выводит никто». То есть зелёный ответ настоящего двоичного на модели FTS не значит проверки, и опираться на него нельзя. Проверяемое правило на flang сегодня пишут спекой — каталог fspec/ в репозитории языка.
«Следует ли?» отвечает про путь, а не про истину. Панель под моделью ищет композицию по объявленным стрелкам и печатает её — это и есть силлогизм Barbara: «все люди смертны; Сократ — человек» даёт g ∘ f. Границ у ответа две, и обе жёсткие. Первая: «пути нет» означает «из объявленного не выводится», а не «неверно», — отсутствие вывода утверждением не является. Вторая: стрелка, объявленная рукой из тех же концов в те же, и найденная композиция — РАЗНЫЕ стрелки, пока равенство не объявлено; формы «объявить, что они равны» у языка нет вовсе, равенство объявляет категория на объекте, а считается оно на сетке примеров. Отрицания, «некоторые» и исключающие посылки категория так не берёт, и проверяльщиком логики страница себя не называет.
Подсветка исходника работает в панели, а не на холсте. У текста внутри фигуры Excalidraw одно поле text и один цвет strokeColor на весь элемент: места под разметку по кускам в формате нет, и рисуется он одним вызовом fillText. Раскрасить надпись внутри рамки по словам нельзя, не переписав редактор. Цветом на холсте говорится другое и целой фигурой: принял ли компилятор её объявление.

Разговор о схеме

Разговор идёт на chat.digitable.life — это отдельная служба на своём домене, а не часть «Архитектора». Комната живёт, пока в ней есть люди: истории не остаётся ни у нас, ни у неё. Нарисованное на холсте туда не уходит и уйти не может — чат знает два сообщения, и оба про внешний вид. Схему отдают файлом.

Открыть разговор отдельной вкладкой

Что нового

Появилось новое1

Стало удобнее3

Архитектор

Холст и модель

Задачи целиком

Стрелки и объекты

Множества

Ссылка на доску

Совместный сеанс

Разговор