Да, интервалы, наверное, даже можно соорудить из time и intervals.
> Data-Time-LocalTime содержит "поля данных": см TimeOfDay и LocalTime. LocalTime содержит Day, который может быть спроецирован в год, месяц и день.
Это не то. В Йоде я могу соорудить период "3 часа", состоящий отдельно из переменных "количество=3" и "единица измерения=час". Хотя полезность этой фичи и маргинальна.
> Насчёт периода не знаю. Наверняка это тоже можно сделать и это опять же будет тривиально.
А вот тут не верю. Не вижу, чтобы time-овские абстракции подходили для выражения такого понятия. И операции прибавления периода "add :: LocalTime -> TimeOfDay -> LocalTime" или "add :: LocalTime -> Day -> LocalTime" я не вижу, всюду прибавляются только Int-ы. Это, пожалуй, моя единственная существенная претензия к time. Прибавлять именно Period приходится довольно часто. При построении графиков, например, надо идти в цикле с шагом в Period, и алгоритм должен работать для Period-а размерности Day и размерности Pico - а в time это разные типы.
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
(no subject)
11/7/12 20:15 (UTC)> Data-Time-LocalTime содержит "поля данных": см TimeOfDay и LocalTime. LocalTime содержит Day, который может быть спроецирован в год, месяц и день.
Это не то. В Йоде я могу соорудить период "3 часа", состоящий отдельно из переменных "количество=3" и "единица измерения=час".
Хотя полезность этой фичи и маргинальна.
> Насчёт периода не знаю. Наверняка это тоже можно сделать и это опять же будет тривиально.
А вот тут не верю. Не вижу, чтобы time-овские абстракции подходили для выражения такого понятия. И операции прибавления периода "add :: LocalTime -> TimeOfDay -> LocalTime" или "add :: LocalTime -> Day -> LocalTime" я не вижу, всюду прибавляются только Int-ы.
Это, пожалуй, моя единственная существенная претензия к time.
Прибавлять именно Period приходится довольно часто. При построении графиков, например, надо идти в цикле с шагом в Period, и алгоритм должен работать для Period-а размерности Day и размерности Pico - а в time это разные типы.