eGospodarka.pl
eGospodarka.pl poleca

eGospodarka.plGrupypl.comp.programmingJak to robią w NASARe: Jak to robią w NASA
  • Path: news-archive.icm.edu.pl!news.icm.edu.pl!newsfeed.pionier.net.pl!news-2.dfn.de!n
    ews.dfn.de!feeder.erje.net!2.eu.feeder.erje.net!proxad.net!feeder1-2.proxad.net
    !cleanfeed2-a.proxad.net!nnrp4-1.free.fr!not-for-mail
    From: Mateusz Viste <m...@w...tell>
    Subject: Re: Jak to robią w NASA
    Newsgroups: pl.comp.programming
    References: <1ua4wui506zbf$.dlg@tyczka.com> <qkecqc$c03$1@news.icm.edu.pl>
    <3...@g...com>
    <qkicu0$knb$1@gioia.aioe.org>
    <4...@g...com>
    <qkjqqi$1b59$1@gioia.aioe.org>
    <0...@g...com>
    <r...@t...com>
    <e...@g...com>
    <1...@g...com>
    <1...@g...com>
    <a...@g...com>
    <qkoqr3$1eec$1@gioia.aioe.org>
    <a...@g...com>
    <8...@n...net>
    <1...@g...com>
    <qksqus$1h0q$1@gioia.aioe.org>
    <3...@g...com>
    <5d7219bc$0$6446$426a74cc@news.free.fr>
    <0...@g...com>
    <8...@g...com>
    User-Agent: Pan/0.145 (Duplicitous mercenary valetism; d7e168a git.gnome.org/pan2)
    MIME-Version: 1.0
    Content-Type: text/plain; charset=UTF-8
    Content-Transfer-Encoding: 8bit
    Date: 06 Sep 2019 14:06:24 GMT
    Lines: 38
    Message-ID: <5d7267e0$0$15200$426a34cc@news.free.fr>
    Organization: Guest of ProXad - France
    NNTP-Posting-Date: 06 Sep 2019 16:06:24 CEST
    NNTP-Posting-Host: 82.64.0.151
    X-Trace: 1567778784 news-4.free.fr 15200 82.64.0.151:42264
    X-Complaints-To: a...@p...net
    Xref: news-archive.icm.edu.pl pl.comp.programming:213956
    [ ukryj nagłówki ]

    On Fri, 06 Sep 2019 06:42:36 -0700, Maciej Sobczak wrote:
    >> Warto zobaczyć ile błędów było w różnych kompilatorach w różnych
    >> językach.
    >
    > To akurat nie ma znaczenia. Kompilator może sobie mieć bugi, bo i tak
    > weryfikuje się kod wykonywalny. Dlatego też jest mitem, że w branży
    > krytycznej potrzebne są jakieś "certyfikowane" kompilatory. Otóż nie są
    > (niespodzianka!).

    Oj ale to chyba nieco naiwne - że niby przetestowanie wynikowego kodu
    zagwarantuje brak bugów. Nie zagwarantuje, bo nie ma opcji by dało się
    przetestować wynikowy program w 100% (wliczając w to np. ładowanie
    relokowalnego kodu pod najróżniejsze adresy, coby wykryć jakiś egzotyczny
    bug kompilatora). To nie znaczy oczywiście, że nie należy do tego dążyć,
    jeśli ekonomia projektu na to pozwala.

    > To kolejny mit. Wszyscy programiści kosztują z grubsza tyle samo, bo ich
    > koszt i tak już dawno nie zależy od ich kompetencji.

    Ja tam jednak obserwuję duże różnice w zależności od języka. Im więcej
    towaru na rynku, tym bardziej jego wartość spada.

    > Nie używa się bibliotek. Szkoda na to nerwów, znacznie szybciej jest
    > napisać i zweryfikować coś od zera samemu.

    Wliczając w to libc? Co do zasady, że lepiej samemu wyrzeźbić aby
    wpasowało się idealnie w dany projekt to się zgodzę, ale to tylko
    generalna zasada, i jak zawsze istnieje milion wyjątków. "nie używa się"
    uważam za nieco zbyt kategoryczny obraz...

    > Szczerze - *wszystko* jest do bani. Ale podobnie jest we wszystkich
    > innych dziedzinach życia (muzyka, film, jedzenie, itd.), więc chyba tak
    > po prostu mamy jako cywilizacja.

    I to faktycznie ma sens :)
    "kiedyś było lepiej"

    Mateusz

Podziel się

Poleć ten post znajomemu poleć

Wydrukuj ten post drukuj


Następne wpisy z tego wątku

Najnowsze wątki z tej grupy


Najnowsze wątki

Szukaj w grupach

Eksperci egospodarka.pl

1 1 1

Wpisz nazwę miasta, dla którego chcesz znaleźć jednostkę ZUS.

Wzory dokumentów

Bezpłatne wzory dokumentów i formularzy.
Wyszukaj i pobierz za darmo: