Re: 22nd Int.Conf. Reliable Software Technologies, Ada-Europe 2017

eGospodarka.pl › Grupy › pl.comp.programming › 22nd Int.Conf. Reliable Software Technologies, Ada-Europe 2017 › Re: 22nd Int.Conf. Reliable Software Technologies, Ada-Europe 2017

X-Received: by 10.157.14.147 with SMTP id 19mr573408otj.1.1493043391135; Mon, 24 Apr
2017 07:16:31 -0700 (PDT)
X-Received: by 10.157.14.147 with SMTP id 19mr573408otj.1.1493043391135; Mon, 24 Apr
2017 07:16:31 -0700 (PDT)
Path: news-archive.icm.edu.pl!news.icm.edu.pl!news.nask.pl!news.nask.org.pl!news.unit
0.net!weretis.net!feeder6.news.weretis.net!feeder.usenetexpress.com!feeder1.iad
1.usenetexpress.com!border1.nntp.dca1.giganews.com!nntp.giganews.com!t52no33848
47qtb.0!news-out.google.com!v18ni3182ita.0!nntp.google.com!c26no1003751itd.0!po
stnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: pl.comp.programming
Date: Mon, 24 Apr 2017 07:16:30 -0700 (PDT)
In-Reply-To: <a...@g...com>
Complaints-To: g...@g...com
Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=80.87.23.98;
posting-account=xIqjbwoAAAA0b64_pvwnKvR2vHN-_Ena
NNTP-Posting-Host: 80.87.23.98
References: <odaqeu$4p2$1@dont-email.me>
<7...@g...com>
<4...@g...com>
<odhokt$skl$1@node2.news.atman.pl>
<a...@g...com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <4...@g...com>
Subject: Re: 22nd Int.Conf. Reliable Software Technologies, Ada-Europe 2017
From: Michal <m...@k...org>
Injection-Date: Mon, 24 Apr 2017 14:16:31 +0000
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: quoted-printable
Lines: 31
Xref: news-archive.icm.edu.pl pl.comp.programming:210452
[ ukryj nagłówki ]
On Monday, April 24, 2017 at 1:29:37 PM UTC+1, Maciej Sobczak wrote:
> On Sunday, April 23, 2017 at 10:29:18 AM UTC+2, Sebastian Biały wrote:
>
> Ręce opadają...
>
> > 1) Ariane5 z Overflow Space Agency
>
> Program zrobił dokładnie to, do czego został zaprojektowany. To, że został użyty *w
kontekście*, do którego nie został zaprojektowany, było winą złej integracji systemu
a nie błędów w kodzie. Polecam lekturę raportu z fakapu.
>

Ciekawe.
Nie chce mi sie calego czytac. Moglbys krotko napisac, czy aby na pewno
uzycie jezyka z mocniejszym systemem typow ( np. dependent typing ) nie pomogloby
zapobiec katastrofie?

> > 2) Nadmiarowe zuzycie klawiatury
>
> W Notepadzie. Programiści używają lepszych edytorów.
>

Ciekawe, ze ciagle slysze narzekania, ze trzeba wiecej pisac.
Ale ni cholery nikt nie narzeka, ze im mniej trzeba pisac, tym trudniej
sie czyta.

--
Michal