-
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
- 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-12 Dziwne zachowanie magistrali adresowej w 8085
- 2025-02-11 Mini pecet
- 2025-02-10 Spalił się spaliniak
- 2025-02-10 zarowka wifi - z sensowna apka lub lepiej albo lokalnie lub przez web. I zeby harmonogram miala
- 2025-02-10 Chrzanów => Programista NodeJS <=
- 2025-02-10 Kraków => DevOps Engineer (Junior or Regular level) <=
- 2025-02-10 Dlaczego takie preferencje banków?
- 2025-02-10 Białystok => iOS Developer (Swift) <=
- 2025-02-10 Mińsk Mazowiecki => Team Lead / Tribe Lead FrontEnd <=
- 2025-02-10 Białystok => System Architect (Java background) <=
- 2025-02-10 Współczesne mierniki zniekształceń nieliniowych THD audio, produkują jakieś?
- 2025-02-10 Szczecin => Senior Field Sales (system ERP) <=
- 2025-02-10 Gliwice => Business Development Manager - Dział Sieci i Bezpieczeńst
- 2025-02-10 Chrzanów => Specjalista ds. public relations <=
- 2025-02-10 Chrzanów => NodeJS Developer <=