Здравствуйте, Sinclair, Вы писали:

S>А, это-то фигня. Это тривиальное расширение понятия relation, и я про него в курсе. Просто в рамках этого топика не хотел переусложнять на ровном месте.
Тривиальность это вопрос десятый.
Но нужно про это помнить.

S>Не, не списки. Список задаёт ad-hoc порядок, а нам интересен ключ упорядочивания и ещё кое-какие метаданные.
Одно другому не мешает.
А ключ сортировки можно на это навесить при помощи тех же жидких типов.

S>И при отборе тоже не потеряем, т.к. подсписок уникального списка — уникальный список.
Это уже детали. Там еще много чего можно навесить и не потерять при тех или иных операциях.

S>Осталось приделать к этому приемлемый синтаксис, и золотой ключик у нас в кармане.
Не только еще и нормальную систему типов было бы неплохо прикрутить.
Как минимум хочется алгебраических типов и вместо null использовать Option.