-
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ć.
Następne wpisy z tego wątku
- 10.08.17 08:28 g...@g...com
- 10.08.17 08:57 slawek
- 10.08.17 09:13 slawek
- 10.08.17 10:38 g...@g...com
- 10.08.17 10:42 g...@g...com
- 10.08.17 10:57 slawek
- 10.08.17 11:03 slawek
- 10.08.17 11:04 g...@g...com
- 10.08.17 11:34 g...@g...com
- 10.08.17 12:17 M.M.
- 10.08.17 14:19 Maciej Sobczak
- 10.08.17 14:51 slawek
- 10.08.17 14:56 slawek
- 10.08.17 14:57 slawek
- 10.08.17 15:21 M.M.
Najnowsze wątki z tej grupy
- Alg. kompresji LZW
- Popr. 14. Nauka i Praca Programisty C++ w III Rzeczy (pospolitej)
- Arch. Prog. Nieuprzywilejowanych w pełnej wer. na nowej s. WWW energokod.pl
- 7. Raport Totaliztyczny: Sprawa Qt Group wer. 424
- TCL - problem z escape ostatniego \ w nawiasach {}
- Nauka i Praca Programisty C++ w III Rzeczy (pospolitej)
- testy-wyd-sort - Podsumowanie
- Tworzenie Programów Nieuprzywilejowanych Opartych Na Wtyczkach
- Do czego nadaje się QDockWidget z bibl. Qt?
- Bibl. Qt jest sztucznie ograniczona - jest nieprzydatna do celów komercyjnych
- Co sciaga kretynow
- AEiC 2024 - Ada-Europe conference - Deadlines Approaching
- Jakie są dobre zasady programowania programów opartych na wtyczkach?
- sprawdzanie słów kluczowych dot. zła
- Re: W czym sie teraz pisze programy??
Najnowsze wątki
- 2025-02-21 Wrocław => Konsultant wdrożeniowy Comarch XL/Optima (Księgowość i
- 2025-02-21 Warszawa => Administrator Systemów Windows IT <=
- 2025-02-21 Wrocław => Specjalista ds. Sprzedaży (transport drogowy) <=
- 2025-02-21 Bieruń => Spedytor Międzynarodowy (handel ładunkami/prowadzenie flo
- 2025-02-21 zmarła Izyda Goldman
- 2025-02-20 Odśnieżanie samochodu(1)
- 2025-02-20 wpadłem kołem w dziurę nocusz zdarza się
- 2025-02-20 OpenPnP
- 2025-02-20 taka skrzynka do kablowki
- 2025-02-20 SEMS Portal
- 2025-02-20 Piaseczno => Developer.NET <=
- 2025-02-20 Warszawa => BI Developer / Analityk BI <=
- 2025-02-20 Sędzia Bartosz Starosta z Justytucji nie potrafi uszanować zmarłych
- 2025-02-20 Kasa fiskalna warunki zwolnienia
- 2025-02-19 Lista afer