comp.lang.ada
 help / color / mirror / Atom feed
From: Georg Bauhaus <rm.dash-bauhaus@futureapps.de>
Subject: Re: Communications of ACM: Sir, Please Step Away from the ASR-33!
Date: Tue, 28 Dec 2010 12:01:19 +0100
Date: 2010-12-28T12:01:19+01:00	[thread overview]
Message-ID: <4d19c37f$0$7669$9b4e6d93@newsspool1.arcor-online.net> (raw)
In-Reply-To: <9cqhbxmdgs8x.nohduviggb5a$.dlg@40tude.net>

On 28.12.10 11:13, Dmitry A. Kazakov wrote:

> In my view tools is cancer of software developing.

Sounds overly general.  Some programs are written over
and over again.  Typically, a fraction of programmers
repeats the mistakes of earlier programs of the same kind.
Forms, for example, have been in use for decades.  Yet,
forms continue to show the same flaws and mistakes.

If there is a theory of forms and a corresponding tool to direct
the programmer, then a forms tool is not different from a
programming language: a programming language, too, directs
the programmer to arrange program code and data in proper
order.  The difference between a "tool" and a language is,
then, that the tool (and generator) may reflect knowledge of
these repeatedly written programs, or patterns.

(I have once written a tool that would generate a
set of abstract classes modeling the possible interactions
of a user and a web application.  That seemed better than
to rely on manually connecting unrelated classes in
some ad hoc fashion.  It also helped in communication
ideas of how the system would work from the perspective
of users.)

A tool can focus on concepts applicable in certain situations.
It can, e.g., check a state machine diagram (or other formal
expression of a state machine) for completeness, concentrating
on just the state machine aspect.  An implementation has
details that will be distracting.
A traditional programming language is much more flexible *because*
it has no such concepts.  With flexibility comes confusion,
insofar as you, the programmer, will have to find the concepts
know how to properly match concepts and language, and separate
model and implementation in your head without this separation
being visible and documented in a formal way.



  reply	other threads:[~2010-12-28 11:01 UTC|newest]

Thread overview: 32+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2010-12-15 22:09 Communications of ACM: Sir, Please Step Away from the ASR-33! Michael R
2010-12-15 22:36 ` Florian Weimer
2010-12-17  0:53   ` Randy Brukardt
2010-12-31 14:26     ` Florian Weimer
2010-12-27 14:41 ` Jacob Sparre Andersen
2010-12-27 16:56   ` Georg Bauhaus
2010-12-27 17:45   ` Dmitry A. Kazakov
2010-12-27 18:41   ` Niklas Holsti
2010-12-27 20:40     ` Dmitry A. Kazakov
2010-12-28  9:32       ` Niklas Holsti
2010-12-28 10:13         ` Dmitry A. Kazakov
2010-12-28 11:01           ` Georg Bauhaus [this message]
2010-12-28 12:07             ` Dmitry A. Kazakov
2010-12-28 13:03               ` Georg Bauhaus
2010-12-28 13:56                 ` Dmitry A. Kazakov
2010-12-28 15:41                   ` Georg Bauhaus
2010-12-28 16:26                     ` Dmitry A. Kazakov
2010-12-29 12:56                       ` Georg Bauhaus
2010-12-29 14:52                         ` Dmitry A. Kazakov
2010-12-29 16:32                           ` Georg Bauhaus
2010-12-29 17:26                             ` Dmitry A. Kazakov
2010-12-29 19:31                               ` Georg Bauhaus
2010-12-29 23:35                                 ` Dmitry A. Kazakov
2010-12-30 18:28                                   ` Georg Bauhaus
2010-12-30 19:33                                     ` Dmitry A. Kazakov
2010-12-30 22:05                                       ` Simon Wright
2010-12-31  9:09                                         ` Dmitry A. Kazakov
2010-12-29 13:55                       ` Georg Bauhaus
2010-12-29 14:33                         ` Dmitry A. Kazakov
2010-12-28 14:39                 ` Simon Wright
2010-12-29 12:43                   ` Georg Bauhaus
2010-12-30 15:00 ` Marco
replies disabled

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