-
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
- 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??
- Re: (PDF) Surgical Pathology of Non-neoplastic Gastrointestinal Diseases by Lizhi Zhang
- CfC 28th Ada-Europe Int. Conf. Reliable Software Technologies
- Młodzi programiści i tajna policja
- Ada 2022 Language Reference Manual to be Published by Springer
Najnowsze wątki
- 2024-11-11 Wyważanie kół rowerowych
- 2024-11-11 Kosz, gdzie??
- 2024-11-11 Coraz mniej ludzi robi prawo jazdy
- 2024-11-11 Opole => SAP HANA Cloud Dev / Data Engineer <=
- 2024-11-11 Warszawa => Spedytor Międzynarodowy <=
- 2024-11-11 Lublin => Senior PHP Developer <=
- 2024-11-11 Marki => Senior PHP Symfony Developer <=
- 2024-11-11 Chrzanów => Team Lead / Tribe Lead FrontEnd <=
- 2024-11-11 Gliwice => Specjalista ds. public relations <=
- 2024-11-11 Gdańsk => Kierownik Działu Spedycji Międzynarodowej <=
- 2024-11-11 Gdańsk => Head of International Freight Forwarding Department <=
- 2024-11-11 Warszawa => Sales Development Representative (in German) <=
- 2024-11-11 Marsz niepodległości
- 2024-11-08 Belka
- 2024-11-09 pierdolec na punkcie psa