eGospodarka.pl
eGospodarka.pl poleca

eGospodarka.plGrupypl.comp.programmingRustRe: Rust
  • Path: news-archive.icm.edu.pl!agh.edu.pl!news.agh.edu.pl!newsfeed2.atman.pl!newsfeed.
    atman.pl!.POSTED!not-for-mail
    From: Borneq <b...@a...hidden.pl>
    Newsgroups: pl.comp.programming
    Subject: Re: Rust
    Date: Thu, 10 Aug 2017 07:48:34 +0200
    Organization: ATMAN - ATM S.A.
    Lines: 17
    Message-ID: <omgs3i$s8o$1@node2.news.atman.pl>
    References: <om4qli$mfm$1@node2.news.atman.pl>
    <8...@g...com>
    <a...@g...com>
    <om9hfe$4up$2@node2.news.atman.pl>
    <a...@n...v.pl>
    <omfp58$92v$1@node1.news.atman.pl>
    <a...@n...v.pl>
    NNTP-Posting-Host: 91.239.205.105
    Mime-Version: 1.0
    Content-Type: text/plain; charset=utf-8; format=flowed
    Content-Transfer-Encoding: 8bit
    X-Trace: node2.news.atman.pl 1502344114 28952 91.239.205.105 (10 Aug 2017 05:48:34
    GMT)
    X-Complaints-To: u...@a...pl
    NNTP-Posting-Date: Thu, 10 Aug 2017 05:48:34 +0000 (UTC)
    User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:52.0) Gecko/20100101
    Thunderbird/52.2.1
    In-Reply-To: <a...@n...v.pl>
    Content-Language: pl
    Xref: news-archive.icm.edu.pl pl.comp.programming:210937
    [ ukryj nagłówki ]

    W dniu 09.08.2017 o 22:16, slawek pisze:
    > On Wed, 9 Aug 2017 21:52:07 +0200, Borneq <b...@a...hidden.pl>
    > wrote:
    >> "Im więcej potu na poligonie tym mniej krwi w boju".
    >
    > A konkretnie jak to się koreluje?

    Czepiasz się powiedzenia a nie odnosisz się do meritum.
    Automatyczne sprawdzanie poprawności to "święty Graal" informatyki.
    Co prawda udowodniono matematycznie że nie może istnieć maszyna Turinga
    sprawdzająca poprawność innej maszyny Turinga, ale z jednej strony w
    Javie stosuje się system asercji czy unit testy, w C++ jest biblioteka
    GSL i odpowiedni plugin sprawdzający zgodność z nią.
    A Rust wymusza swoje reguły. Trudno początkującemu w Rust jest wręcz
    nieraz dla pewnych przypadków napisać kod który się skompiluje (te
    problemy z mutualnością) ale to jest wymuszone automatycznie, nie musi
    tego sprawdzać programista i czegoś przeoczyć.

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: