System.Time.Clock Design Issues
benjamin.franksen at bessy.de
Thu Feb 3 18:24:46 EST 2005
On Thursday 03 February 2005 16:14, Bayley, Alistair wrote:
> - This means TAI time can only be calculated accurately when we have the
> full leap second table available.
What about making the leap seconds table (LST) a parameter of the UTC/TAI
conversion? The LST could be some abstract type, readable via an IO action
either from the System (if future systems support this) or from some file.
The point in time up to which the table is garanteed to be accurate should be
a (queryable) property of the LST.
More information about the Libraries