-
Data: 2017-08-10 07:48:34
Temat: Re: Rust
Od: Borneq <b...@a...hidden.pl> szukaj wiadomości tego autora
[ pokaż wszystkie 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
- 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??
- 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
Najnowsze wątki
- 2024-11-29 Pómpy ciepła darmo rozdajoo
- 2024-11-29 Białystok => Application Security Engineer <=
- 2024-11-29 Białystok => Programista Full Stack (.Net Core) <=
- 2024-11-29 Gdańsk => Software .Net Developer <=
- 2024-11-29 Wrocław => Key Account Manager <=
- 2024-11-29 Gdańsk => Specjalista ds. Sprzedaży <=
- 2024-11-29 Chrzanów => Specjalista ds. public relations <=
- 2024-11-27 Re: UseGalileo -- PRODUKTY I APLIKACJE UŻYWAJĄ JUŻ DZIŚ SYSTEMU GALILEO
- 2024-11-27 Re: UseGalileo -- PRODUKTY I APLIKACJE UŻYWAJĄ JUŻ DZIŚ SYSTEMU GALILEO
- 2024-11-28 droga laweta
- 2024-11-28 Co tam się odpierdala w tej Warszawie?
- 2024-11-28 skąd się biorą tacy debile?
- 2024-11-28 JDG i utylizacja sprzetu
- 2024-11-27 Identyfikacja układ SO8 w sterowniku migających światełek choinkowych
- 2024-11-28 Katowice => Technical Artist <=