АО
Если автоматическая упорядоченность в возрастающем порядке имеет смысл.
Size: a a a
2021 April 07
АО
Просто для произвольного типа это слишком сильное утверждение.
АО
Точнее даже два утверждения.
1. Порядок для типа определен
2. Упорядоченность по индексу имеет смысл.
1. Порядок для типа определен
2. Упорядоченность по индексу имеет смысл.
АО
Но вообще да, я тоже не очень люблю чрезмерного ограничения типов.
АО
Имхо, лучше по минимуму всё делать, а пользователи потом сами разберутся, куда они хотят соответствующие структуры вкорячивать.
AN
Для времени характерны как минимум ещё две вещи:
1) темпоральные логики,
2) drillup/drilldown с учётом календаря.
Не у всякого типа данных есть календарь :)
1) темпоральные логики,
2) drillup/drilldown с учётом календаря.
Не у всякого типа данных есть календарь :)
АО
Ну, кстати, в моём случае были специфичные функции, привязанные именно ко времени.
Так как данные финансовые, то есть задача например "Выбрать данные соответствующие концу финансового месяца"
Так как данные финансовые, то есть задача например "Выбрать данные соответствующие концу финансового месяца"
AN
Именно. То есть структура данных должна знать календарь
АО
Да, как раз календарные задачи.
Они легко решаются разумеется, но там уже привязка к типу идёт более жёсткая.
Они легко решаются разумеется, но там уже привязка к типу идёт более жёсткая.
AN
И это ещё не добрались до темпоральных логик и логик событий.
AN
Впоследствие - не значит вследствие...
AN
Логические оси времени и отношение предшествования...
AN
TS DBMS не совсем идиоты придумывали
VG
Есть какие-то источники по ним почитать?
AP
кстати, это свойство не типа, а конкретного сценария применения
AN
Совсем кратко, но с наиболее популярными решениями - https://db-engines.com/en/article/Time+Series+DBMS
AP
в общем, я просто за то, чтобы лишних ограничений типов на пустом месте не вводить
тогда может получиться как с images.jl - несмотря на название, многие пакеты там никак на картинки не завязаны, и полезны для разного рода массивов
тогда может получиться как с images.jl - несмотря на название, многие пакеты там никак на картинки не завязаны, и полезны для разного рода массивов
AN
VG
Можем даже не брать в расчет упорядоченность.
В моем понимании, обычный индекс - это который можно проверить просто на равенство. А у времени есть разные уровни детализации, интерпретация в виде точек или интервалов, неравномерные дискретизации шкалы - в виде календаря. У обычных индексов такого нет.
В моем понимании, обычный индекс - это который можно проверить просто на равенство. А у времени есть разные уровни детализации, интерпретация в виде точек или интервалов, неравномерные дискретизации шкалы - в виде календаря. У обычных индексов такого нет.