Раздел 44 · Логика и типы

Кортежи и отношения: карточки связей

junior~20 мин

без входаВойди, чтобы отмечать прогресс, вести заметки и решать задачи в редакторе. войти

Тимофей Ильич · архивариус Седьмого отдела

Второй ящик, карточки связей. На каждой два имени и что между ними: «Фома → Лука: видел у ворот в 23:10». Или «Митя, Прохор: работали в одну смену». Стрелку я рисую не для красоты, молодой человек. «Фома видел Луку» и «Лука видел Фому» это две разные карточки, и в деле может лежать только одна из них.

Сомова хочет знать не просто кто в каких списках, а кто с кем связан. Ответ на «кто кого видел той ночью» нельзя сложить в список имён: важно, кто смотрел и на кого.

Значит, нужна новая единица хранения. Не имя, а пара имён, и порядок в ней что-то значит. Из таких пар собирается главный инструмент этого блока: отношение. На отношениях стоит вся вторая половина курса: шаг вычисления в Арбитре и проверка типов это отношения.

урок из курса

Урок из курса «Логика и типы». Курс покупается один раз и остаётся навсегда: 500 ₽.

Оплата пока не подключена: премиум и курсы открываются промокодом.