comp.lang.ada
 help / color / mirror / Atom feed
From: Maciej Sobczak <see.my.homepage@gmail.com>
Subject: Re: F-22 ADA Programming
Date: Thu, 30 Oct 2014 08:38:43 -0700 (PDT)
Date: 2014-10-30T08:38:43-07:00	[thread overview]
Message-ID: <50cacb19-5d0b-4dbe-b91b-0b3b462913d6@googlegroups.com> (raw)
In-Reply-To: <m2r7k7$2m2$2@dont-email.me>


> Surely if the language is chosen by management, they share in the responsibility
> for its effect. A developer who agrees to work on the project using the poor
> language has made a decision to do so, and is clearly responsible for that decision.

Sorry, I got lost in this. I mean - in the taking responsibility part.
Does it mean that if we choose Ada and then shit happens, are we cleared from responsibility, because the choice was good?

The difference between Ada and C++ is not that in Ada there will be no bugs and in C++ there will be only bugs. At best, the language choice will have some influence on the probability and economy of failure. So, let's say (just for the sake of discussion, with no regard to how ridiculous it got already) that with C++ the probability of project failure is 30% and with Ada the probability of project failure is 20%. I don't care if these numbers reflect reality.

a) And I choose C++. And then shit happens. Am I responsible? To what extent?

b) And I choose Ada. And then shit happens. Am I responsible? To what extent?

Are you ready to throw some numbers or can we agree that the discussion went out of control and the whole responsibility argument is just nonsense?

On the other hand, I can imagine a world where programmers are covered by civil responsibility insurance (just like in many other industries) and insurance companies will offer insurance discounts to better programmers (just as they do to people with good car driving history or with no smoking habits, etc.). And then, it will be in the interest of programmers to stick to technologies that allow them pay less for insurance (ultimately, programmers that stick to good technologies will be also cheaper to hire, as their insurance will be levied on employers anyway).
So, when the manager says "this project will be written in C++", the programmer will answer "this will cost me/you more in insurance, better switch to Ada" and then the manager will go back to his Excel to rethink his choices. Insurance companies would then make sure that primes are periodically reviewed and reflect the actual industry failure rates, which will allow good technologies to bubble up and shitware sink down.
Would that work? I was elaborating on this idea several times and it makes sense to me, as it puts money into the equation just as it already does in many other parts of our life. If my insurance company cares about me doing proper technical service of my car, it might as well guide me in the choice of my programming language, there is really little difference here.

But until this (or something equivalent) happens, please don't argue that the programmer is responsible for his language choices, as such argument has no tangible (and countable) foundations. It's just hand-waving.

-- 
Maciej Sobczak * http://www.inspirel.com

  parent reply	other threads:[~2014-10-30 15:38 UTC|newest]

Thread overview: 97+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2014-10-26 18:31 F-22 ADA Programming nathandsash
2014-10-26 19:02 ` Martyn Pike
2014-10-26 21:20 ` David Botton
2014-10-26 23:24   ` Jeffrey Carter
2014-10-26 23:55     ` David Botton
2014-11-14 22:54       ` rriehle
2014-11-14 23:46         ` Dennis Lee Bieber
2014-11-15  6:43           ` wilson
2014-11-15 17:49             ` Jeffrey Carter
2014-11-15 21:28         ` Maciej Sobczak
2014-11-16  9:57           ` Jean François Martinez
2014-11-16 22:26             ` Maciej Sobczak
2014-11-17  0:33               ` Jean François Martinez
2014-10-27  0:13     ` Robert A Duff
2014-10-27  0:31       ` David Botton
2014-10-27 10:17         ` Georg Bauhaus
2014-10-27 10:47           ` J-P. Rosen
2014-10-27 15:06         ` Adam Beneschan
2014-10-27 22:32           ` Randy Brukardt
2014-10-27  6:28       ` Pascal Obry
2014-10-27 15:04     ` Adam Beneschan
2014-10-27 15:17       ` Björn Lundin
2014-10-27 15:41       ` Maciej Sobczak
2014-10-27 16:01         ` Robert A Duff
2014-10-27 20:16         ` Adam Beneschan
2014-10-28  8:45         ` Natasha Kerensikova
2014-10-28 11:58           ` Bill White
2014-10-28 14:56             ` Adam Beneschan
2014-10-28 19:36               ` Bill White
2014-10-28 18:29           ` Jeffrey Carter
2014-10-28 18:37             ` Adam Beneschan
2014-10-28 19:14               ` David Botton
2014-10-28 21:06               ` Jeffrey Carter
2014-10-28 21:32                 ` Simon Clubley
2014-10-28 21:37                 ` Adam Beneschan
2014-10-28 23:59                   ` Jeffrey Carter
2014-10-29  0:34                     ` Adam Beneschan
2014-10-29  5:24                       ` Jeffrey Carter
2014-10-29  8:37                         ` Dmitry A. Kazakov
2014-10-29 17:20                           ` Jeffrey Carter
2014-10-29 20:43                             ` Dmitry A. Kazakov
2014-10-29 20:55                               ` Jeffrey Carter
2014-10-29 21:40                               ` Georg Bauhaus
2014-10-30  8:56                                 ` Dmitry A. Kazakov
2014-11-08  4:52                                   ` Randy Brukardt
2014-11-08  8:12                                     ` Dmitry A. Kazakov
2014-10-30 15:38                             ` Maciej Sobczak [this message]
2014-10-30 15:49                               ` Alan Jump
2014-10-30 22:33                                 ` Dennis Lee Bieber
2014-10-30 23:13                                   ` Jeffrey Carter
2014-10-30 16:07                               ` Bill White
2014-10-30 22:37                                 ` Maciej Sobczak
2014-10-31  9:41                                   ` Georg Bauhaus
2014-10-31 12:51                                     ` Brad Moore
2014-11-01  3:03                                     ` C versus Ada (once again :-)), was: " Simon Clubley
2014-11-01 13:35                                       ` Georg Bauhaus
2014-11-03  1:54                                         ` Simon Clubley
2014-11-03  9:42                                           ` Georg Bauhaus
2014-11-03 12:07                                           ` Luke A. Guest
2014-11-04  2:01                                             ` Simon Clubley
2014-11-03 14:26                                           ` Brian Drummond
2014-11-01 13:46                                       ` Maciej Sobczak
2014-11-03  2:01                                         ` Simon Clubley
2014-11-03  9:10                                           ` Maciej Sobczak
2014-11-03 12:09                                           ` Luke A. Guest
2014-11-03 12:40                                       ` Florian Weimer
2014-11-03 21:58                                         ` Shark8
2014-11-03 22:28                                           ` Dmitry A. Kazakov
2014-11-04 13:42                                           ` Florian Weimer
2014-11-04 15:01                                             ` G.B.
2014-11-04 15:50                                               ` Florian Weimer
2014-10-31 10:11                                   ` Bill White
2014-10-31 12:52                                     ` Maciej Sobczak
2014-11-02 15:40                                       ` Bill White
2014-11-02 22:23                                         ` Maciej Sobczak
2014-11-02 22:52                                           ` Peter Chapin
2014-11-03  1:36                                           ` Simon Clubley
2014-11-03 19:04                                           ` Laurent
2014-10-31 13:24                               ` Jacob Sparre Andersen
2014-11-08  4:45                 ` Randy Brukardt
2014-11-08 23:43                   ` Shark8
2014-11-09  8:39                     ` Simon Wright
2014-11-09 20:53                       ` Shark8
2014-10-28 19:18             ` Simon Clubley
2014-10-27 16:34       ` David Botton
2014-10-27 16:51         ` brbarkstrom
2014-10-27 18:03           ` G.B.
2014-10-27 22:06             ` Simon Wright
2014-10-28  9:40               ` Georg Bauhaus
2014-10-27 20:06         ` Adam Beneschan
2014-10-27 20:21           ` David Botton
2014-10-28 11:34       ` tonyg
2014-10-27 17:01     ` Pascal Obry
2014-10-27  4:53 ` Jerry Petrey
2014-10-29  1:49   ` F-35 (was:F-22 ADA Programming) Robert Love
2014-10-30  9:01     ` Frédéric Praca
2014-10-30  9:07       ` Frédéric Praca
replies disabled

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