From: Nicolas C. <war...@fr...> - 2004-08-11 15:31:18
|
> Nicolas Cannasse wrote: > > > Here's a datetime module interface proposal open to comments. > > I agree to implement it if we reach an agreeement. > > I like it. It isn't anywhere near perfect, but most of the time > you don't need perfect, just Good Enough. You people that need > sub-second precision should write your own module, otherwise > we will continue to have nothing, and this module is a lot better > than nothing. That's also my point. If some people think that having below day date precision is a bad thing, then they can simply ignore that precision by manipulating only days-rounded datetimes. I understand correctly the problems with UTC and leap seconds, but I think that having a 22seconds difference over a 30 years time period is not a big problem unless you're doing very precise calculations, and then we can eventualy put a warning in the library docs for such users, while still helping a lot of people with date/time manipulation. Concerning the precision of floats, using an Int64 is sure a better thing as Brian showed it. I also agree with : type locale = (day -> string) * (month -> string) from Achim . This way the library can be more easily extended with specific or exotic printers ( a startrek time pp anyone ? ) Nicolas Cannasse |