New pre-SRFI: Modern date and time library
Daphne Preston-Kendal
(09 Nov 2024 09:48 UTC)
|
Re: New pre-SRFI: Modern date and time library
Alex Shinn
(09 Nov 2024 11:49 UTC)
|
Re: New pre-SRFI: Modern date and time library
Daphne Preston-Kendal
(10 Nov 2024 19:52 UTC)
|
Re: New pre-SRFI: Modern date and time library
John Cowan
(11 Nov 2024 03:49 UTC)
|
Re: New pre-SRFI: Modern date and time library
Alex Shinn
(11 Nov 2024 04:33 UTC)
|
Re: New pre-SRFI: Modern date and time library
Arthur A. Gleckler
(09 Nov 2024 17:36 UTC)
|
Re: New pre-SRFI: Modern date and time library
Pierpaolo Bernardi
(10 Nov 2024 00:56 UTC)
|
Re: New pre-SRFI: Modern date and time library
Arthur A. Gleckler
(10 Nov 2024 04:28 UTC)
|
Re: New pre-SRFI: Modern date and time library Pierpaolo Bernardi (10 Nov 2024 05:06 UTC)
|
Re: New pre-SRFI: Modern date and time library
Daphne Preston-Kendal
(10 Nov 2024 10:11 UTC)
|
Re: New pre-SRFI: Modern date and time library
Pierpaolo Bernardi
(10 Nov 2024 15:02 UTC)
|
Re: New pre-SRFI: Modern date and time library
Daphne Preston-Kendal
(10 Nov 2024 15:37 UTC)
|
Re: New pre-SRFI: Modern date and time library
Lassi Kortela
(10 Nov 2024 15:57 UTC)
|
Re: New pre-SRFI: Modern date and time library
Alex Shinn
(11 Nov 2024 04:43 UTC)
|
Re: New pre-SRFI: Modern date and time library
Daphne Preston-Kendal
(10 Nov 2024 10:19 UTC)
|
On Sun, Nov 10, 2024 at 5:29 AM Arthur A. Gleckler <xxxxxx@speechcode.com> wrote: > > On Sat, Nov 9, 2024 at 4:56 PM Pierpaolo Bernardi <xxxxxx@gmail.com> wrote: > >> >> ISO-8601 calls this a "local time", and, of course, defines a syntax >> for it. An example of local time in ISO-8601 syntax is: "21:00" > > Yes, of course. But that's a string representation of a local time. What does one use internally to represent such a time? A special time zone that means "where I am?" If I was implementing this, I would use three disjoint record types, with a common parent, for local times, UTC times, and "time-zoned" times. Plus the necessary functions to convert between them. In your example, to schedule the 9pm local time event among other events, one would apply to all the events specified in local time a function which takes a local time and the desired time zone (maybe the current-default-timezone...) and returns a "time-zoned" time.