From: Mike H <postmaster@ada-augusta.demon.co.uk>
Subject: Re: 4 beginner's questions on the PL Ada
Date: Sun, 11 Aug 2013 16:15:59 +0100
Date: 2013-08-11T16:15:59+01:00 [thread overview]
Message-ID: <uBiDHvBvq6BSFweD@ada-augusta.demon.co.uk> (raw)
In-Reply-To: alpine.DEB.2.02.1308110904590.3431@whirlwind
Once again a thread in this news group shows a polarisation of mind sets
concerning right and wrong approaches to writing a program. I am
reminded of my teaching days when, even before writing a single piece of
Ada code on the white board, I would initiate some class discussion on
the question of whether time and duration are same and, if they are not
the same, does it matter. I knew I could expect general agreement that
the result of adding a pair of time variables was meaningless whereas
subtracting such pair of times could be valid, but only if one was aware
that the result was not a time. The fun would start when the discussion
moved on to questions of how one might detect or, better still prevent,
a time/duration program error. If I was lucky, opinions would become
quite heated concerning personal responsibility and managerial
responsibility should such an error reach a production version of a
product.
When the dust began to settle I would ask whether it might no be useful
if such an error could be detected at compilation time. Sometimes there
would be a small minority who would greet that question with
incredulity. More interesting to me was identifying those who showed an
interest in how this might be achieved in well written Ada and, in
comparison, those who were sufficiently sure of their own capabilities
that they could regard any additional lines of defensive coding in any
language as an unnecessary irrelevance. Worse still were those who would
be deaf to the idea that although additional lines of declaration source
code can be expected to change the resulting executable code that does
not necessarily mean a change of the amount of generated execution code
nor necessarily a change of execution times.
--
Knowledge is knowing a tomato is a fruit
Wisdom in knowing not to put it in the fruit salad.
Mike
next prev parent reply other threads:[~2013-08-11 15:15 UTC|newest]
Thread overview: 70+ messages / expand[flat|nested] mbox.gz Atom feed top
2013-08-09 16:50 4 beginner's questions on the PL Ada Emanuel Berg
2013-08-09 17:09 ` Adam Beneschan
2013-08-09 17:16 ` Emanuel Berg
2013-08-09 17:46 ` Alan Jump
2013-08-09 18:10 ` Emanuel Berg
2013-08-09 19:01 ` Randy Brukardt
2013-08-09 21:38 ` Emanuel Berg
2013-08-09 22:00 ` Jeffrey Carter
2013-08-09 22:16 ` Emanuel Berg
2013-08-10 0:39 ` Anh Vo
2013-08-10 1:24 ` Emanuel Berg
2013-08-10 6:16 ` Simon Wright
2013-08-10 12:13 ` Emanuel Berg
2013-08-10 17:12 ` Mike H
2013-08-10 17:53 ` Emanuel Berg
2013-08-10 19:50 ` Dennis Lee Bieber
2013-08-10 22:23 ` Emanuel Berg
2013-08-11 7:12 ` Georg Bauhaus
2013-08-11 12:44 ` Emanuel Berg
2013-08-11 21:12 ` Bill Findlay
2013-08-11 21:22 ` Emanuel Berg
2013-08-12 17:39 ` Anh Vo
2013-08-12 18:15 ` Anh Vo
2013-08-12 19:57 ` Simon Wright
2013-08-12 20:13 ` Anh Vo
2013-08-10 0:52 ` Jeffrey Carter
2013-08-12 19:47 ` Randy Brukardt
2013-08-09 22:08 ` Robert A Duff
2013-08-09 22:23 ` Emanuel Berg
2013-08-09 22:36 ` Robert A Duff
2013-08-09 22:42 ` Emanuel Berg
2013-08-09 23:48 ` Robert A Duff
2013-08-09 23:50 ` Emanuel Berg
2013-08-09 23:56 ` Emanuel Berg
2013-08-10 0:44 ` Jeffrey Carter
2013-08-10 0:51 ` Robert A Duff
2013-08-09 22:47 ` Alan Jump
2013-08-09 23:33 ` Adam Beneschan
2013-08-09 23:43 ` Alan Jump
2013-08-10 0:19 ` Robert A Duff
2013-08-10 0:52 ` Jeffrey Carter
2013-08-10 0:48 ` Robert A Duff
2013-08-09 23:40 ` Robert A Duff
2013-08-09 23:25 ` Dennis Lee Bieber
2013-08-09 18:29 ` Jeffrey Carter
2013-08-09 18:51 ` Adam Beneschan
2013-08-09 19:05 ` Jeffrey Carter
2013-08-09 18:35 ` Simon Wright
2013-08-09 23:21 ` Dennis Lee Bieber
2013-08-09 23:48 ` Emanuel Berg
2013-08-10 2:45 ` Dennis Lee Bieber
2013-08-10 3:33 ` Emanuel Berg
2013-08-10 14:57 ` Shark8
2013-08-10 17:43 ` Emanuel Berg
2013-08-10 17:55 ` Emanuel Berg
2013-08-10 23:15 ` Simon Clubley
2013-08-11 12:16 ` Emanuel Berg
2013-08-12 18:07 ` Adam Beneschan
2013-08-11 0:34 ` Shark8
2013-08-11 12:42 ` Emanuel Berg
2013-08-11 13:24 ` Peter C. Chapin
2013-08-11 13:37 ` Emanuel Berg
2013-08-11 15:15 ` Mike H [this message]
2013-08-12 17:56 ` Adam Beneschan
2013-08-10 6:03 ` Jeffrey Carter
2013-08-12 17:17 ` Eryndlia Mavourneen
2013-08-12 17:27 ` Jeffrey Carter
2013-08-10 12:31 ` Emanuel Berg
2013-08-10 12:37 ` Emanuel Berg
2013-08-10 12:52 ` Emanuel Berg
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox