хм, а как выразить и работать одновременно в зонах CST-6CDT, Europe/Kiev, America/Los_Angeles? как они все ведут себя на весенне/осенних сдвигах? а две последние на исторических сдвигах?
вітя, мінус joda - власна dbtz. ми не використовуємо joda-time dbtz, адаптуємо jre dbtz + parser POSIX TZ, аби коли закони міняються сис міняв конфу енва, а не викладати "новий випуск".
проглянь визначення: data ZonedTime = ZonedTime { zonedTimeToLocalTime :: LocalTime zonedTimeZone :: TimeZone } data TimeZone = TimeZone { timeZoneMinutes :: Int, timeZoneSummerOnly :: Bool, timeZoneName :: String } вибач за каламбур, але цей TimeZone не є часовою зоною, а лише зрізом часової зони в певний момент.
не бачу такого поняття як Instant, лише UTCTime. не бачу очевидно необхідного HistoricalTimeZone із: cutTimeZone :: HistoricalTimeZone -> UTCTime -> TimeZone historicalTimeZoneDstOffset :: HistoricalTimeZone -> UTCTime -> Int timeZoneShortName :: TimeZone -> UTCTime -> String і щоб час прив'язувався саме до історичних зон.
якщо їх і немає, то haskell time library навіть не є бібліотекою роботи з часом, здається мені це не більше ніж трохи узагальнена парсилка дат.
знайшов розширення, відповідно є історичні зони, але працювати насправді доведеться в UTC а потім конвертувати по серіям: timezone { series ; olson } In Data.Time, the TimeZone data type does not actually represent an entire timezone. Rather, it only represents a specific clock setting that is used in the timezone, possibly one of several clock settings that may apply at different times. This package introduces a new data type, TimeZoneSeries, that represents an entire timezone with all of its possible clock settings. It also provides more reliable variants of some functions in Data.Time that rely upon information about a timezone.
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
![[identity profile]](https://www.dreamwidth.org/img/silk/identity/openid.png){kind=small}
(no subject)
12/7/12 14:38 (UTC)как они все ведут себя на весенне/осенних сдвигах?
а две последние на исторических сдвигах?
вітя, мінус joda - власна dbtz.
ми не використовуємо joda-time dbtz, адаптуємо jre dbtz + parser POSIX TZ,
аби коли закони міняються сис міняв конфу енва, а не викладати "новий випуск".
(no subject)
12/7/12 14:49 (UTC)Если ты к
А собственная база данных таймзон? А она не из JRE берётся? "Тады ой".
(no subject)
13/7/12 05:17 (UTC)data ZonedTime = ZonedTime {
zonedTimeToLocalTime :: LocalTime
zonedTimeZone :: TimeZone
}
data TimeZone = TimeZone {
timeZoneMinutes :: Int,
timeZoneSummerOnly :: Bool,
timeZoneName :: String
}
вибач за каламбур, але цей TimeZone не є часовою зоною, а лише зрізом часової зони в певний момент.
не бачу такого поняття як Instant, лише UTCTime.
не бачу очевидно необхідного HistoricalTimeZone із:
cutTimeZone :: HistoricalTimeZone -> UTCTime -> TimeZone
historicalTimeZoneDstOffset :: HistoricalTimeZone -> UTCTime -> Int
timeZoneShortName :: TimeZone -> UTCTime -> String
і щоб час прив'язувався саме до історичних зон.
якщо їх і немає, то haskell time library навіть не є бібліотекою роботи з часом,
здається мені це не більше ніж трохи узагальнена парсилка дат.
(no subject)
13/7/12 06:48 (UTC)(no subject)
13/7/12 13:23 (UTC)(no subject)
13/7/12 05:27 (UTC)але працювати насправді доведеться в UTC а потім конвертувати по серіям:
timezone { series ; olson }
In Data.Time, the TimeZone data type does not actually represent an entire timezone. Rather, it only represents a specific clock setting that is used in the timezone, possibly one of several clock settings that may apply at different times. This package introduces a new data type, TimeZoneSeries, that represents an entire timezone with all of its possible clock settings. It also provides more reliable variants of some functions in Data.Time that rely upon information about a timezone.