From: deadhacker <gstover@gmail.com>
Subject: Re: Implicit actions & program correctness
Date: Fri, 15 May 2020 10:55:38 -0700 (PDT)
Date: 2020-05-15T10:55:38-07:00 [thread overview]
Message-ID: <aa71a444-df1d-4c6a-b781-b2656e81e35f@googlegroups.com> (raw)
In-Reply-To: <d4cc5c66-b82a-4ef7-8e69-2fa9b7bd99a6@googlegroups.com>
On Friday, May 15, 2020 at 10:45:14 AM UTC-7, deadhacker wrote:
> Hi all. I am an old programmer who is new to Ada. (I do not use Ada on the job.)
>
> In the Ada books I'm reading, there's an emphasis on correctness & early bug detection that I haven't seen in many other books. It's led me to contrast that with what I see on the job.
>
> On the job, we often use frameworks such as Spring (for Java) to "autowire" components. It means that a lot of work is done implicitly by that framework. As one who audits systems, that implicit work makes is _really_ difficult to be sure that I understand how the program works, much less to verify correctness.
>
> It makes me wonder what experienced Ada programmers think of work done implicitly by a program. Have you run into similar practices? Have you been able to talk people into ending them?
>
> I guess another way to look at what I'm wondering is: In books about software engineering with Ada, I see lots of talk about correctness especially by moving bug detection to the compile phase. How often can that actually be done?
>
> (Full disclosure: These are kind of a dumb questions because I think I know what Ada programmers might answer, so I feel a little guilty about asking, but I still hope to learn something & engage in some interesting talk.)
Addendum to my own post: As well as mentioning error detection at compile-time, I should have also mentioned making things explicit. To me so far, a prominent essence of Ada appears to be "make things straightforward & explicit". Very different from "autowiring" components.
next prev parent reply other threads:[~2020-05-15 17:55 UTC|newest]
Thread overview: 14+ messages / expand[flat|nested] mbox.gz Atom feed top
2020-05-15 17:45 Implicit actions & program correctness deadhacker
2020-05-15 17:55 ` deadhacker [this message]
2020-05-15 18:27 ` Nasser M. Abbasi
2020-05-15 19:01 ` Paul Rubin
2020-05-15 19:03 ` Jeffrey R. Carter
2020-05-15 20:13 ` deadhacker
2020-05-15 22:09 ` Paul Rubin
2020-05-25 20:15 ` deadhacker
2020-05-25 20:36 ` Niklas Holsti
2020-05-25 22:31 ` Paul Rubin
2020-05-26 8:47 ` Niklas Holsti
2020-05-26 9:55 ` Paul Rubin
2020-05-16 13:52 ` Brian Drummond
2020-05-16 10:10 ` Niklas Holsti
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox