comp.lang.ada
 help / color / mirror / Atom feed
From: "AG" <ang@xtra.co.nz>
Subject: Re: Leap Seconds
Date: Wed, 30 May 2001 22:14:12 +1200
Date: 2001-05-30T22:14:12+12:00	[thread overview]
Message-ID: <DJ3R6.619$jf7.97335@news.xtra.co.nz> (raw)
In-Reply-To: ev_remove_this_ans-2905012042430001@192.168.1.254


"Arthur Evans Jr" <ev_remove_this_ans@evans.pgh.pa.us> wrote in message
news:ev_remove_this_ans-2905012042430001@192.168.1.254...

> I expect that an Ada program that communicates with an unmanned
> (unpersoned?) space ship might care very much indeed.  Suppose the
> ship sends a message from somewhere near Saturn or some such, the
> message including a time stamp.
...
>
> Here the problem is not one Ada can solve.  You would need a clock
> at the receiving station that either was never corrected for leap
> seconds, or you would need a table of corrections.  To put it
> differently, you need some sort of clock at the receiving station
> that tells you how much time has elapsed since the vessal was
> launched.  Given that, an Ada program is easy, providing you have a
> big enough field to store all those seconds.

Well, considering we're talking about multi-year time spans and speeds
which, while still very low compared to the speed of light are not totally
negligible, does that mean that you need a clock which can account for
the relativity effects? Without any programming support? And what does
power that clock?
I would suggest that it should be the other way round - highly unlikely
any language could provide that sort of timer facility. Rather, it's the
language itself that should power the clock if it comes to such extreme
cases.






  reply	other threads:[~2001-05-30 10:14 UTC|newest]

Thread overview: 43+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2001-05-25 14:17 Leap Seconds Marin David Condic
2001-05-25 22:02 ` Tucker Taft
2001-05-29 14:43   ` Marin David Condic
2001-05-29 16:02     ` Ted Dennison
2001-05-29 16:46       ` Marin David Condic
2001-05-29 18:38         ` tmoran
2001-05-29 19:26           ` Marin David Condic
2001-05-30 18:20         ` Wilhelm Spickermann
2001-05-30 18:55           ` Marin David Condic
2001-05-30 23:16             ` Larry Kilgallen
2001-05-31  6:34             ` Joseph P Vlietstra
2001-05-31  9:27             ` Wilhelm Spickermann
2001-05-31 15:31               ` Marin David Condic
2001-06-01  7:55                 ` Wilhelm Spickermann
2001-06-01 13:34                   ` Marin David Condic
2001-06-01 15:24                     ` Wes Groleau
2001-06-01 16:18                       ` Marin David Condic
2001-06-01 20:28                         ` Wes Groleau
2001-06-04 13:54                           ` Marin David Condic
2001-06-04 16:05                             ` Wes Groleau
2001-06-04 16:15                               ` Marin David Condic
2001-05-31 16:53               ` OT: Relativity misunderstood Wes Groleau
2001-05-31 17:20                 ` Ted Dennison
2001-05-31 19:00                   ` Wes Groleau
2001-06-01  6:49                 ` Wilhelm Spickermann
2001-06-04 17:51                 ` [OT] Black holes for interstellar travel (Re: OT: Relativity misunderstood) Jacob Sparre Andersen
2001-06-05 14:07                   ` Wes Groleau
2001-05-30  0:42     ` Leap Seconds Arthur Evans Jr
2001-05-30 10:14       ` AG [this message]
2001-05-30 11:20       ` Larry Kilgallen
2001-05-31 16:34         ` Wes Groleau
2001-05-30 14:00       ` Marin David Condic
2001-05-30 15:33         ` Larry Kilgallen
2001-05-30 15:39           ` Marin David Condic
2001-05-31  2:01             ` Robert A Duff
2001-05-31  3:15               ` dale
2001-05-31  7:02               ` tmoran
2001-05-31 15:26               ` Marin David Condic
2001-05-31 16:39                 ` Paul Storm
2001-06-02  6:40                   ` Joseph P Vlietstra
2001-05-31 16:36         ` Wes Groleau
2001-05-31 18:12           ` Marin David Condic
2001-05-30 16:36       ` Darren New
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox