-
Data: 2017-08-10 08:57:12
Temat: Re: Rust
Od: slawek <f...@f...com> szukaj wiadomości tego autora
[ pokaż wszystkie nagłówki ]On Thu, 10 Aug 2017 07:48:34 +0200, Borneq
<b...@a...hidden.pl> wrote:
> Czepiasz się powiedzenia a nie odnosisz się do meritum.
Nie czepiam się. Po prostu jest to przysłowie ludowe, które być może
nijak ma się do faktów. Warto czasem przemyśleć.
> Automatyczne sprawdzanie poprawności to "święty Graal" informatyki.
Nie. Święty Graal to przenośność.
> Co prawda udowodniono matematycznie że nie może istnieć maszyna
Turinga
> sprawdzająca poprawność innej maszyny Turinga,
Jest gorzej: udowodniono że nie da się udowodnić aksjomatów. Patrz
twierdzenie Goedela.
(Genialne jest że Goedel wymyślił digitalizację twierdzeń w czasach
gdy nie było komputerów.)
> Javie stosuje się system asercji czy unit testy, w C++ jest
biblioteka
> GSL i odpowiedni plugin sprawdzający zgodność z
Trochę mylisz pojęcia. Asercje nijak nie są automatyczne, bo jak ich
nie napiszesz, to ich nie masz. (W swoim kodzie.) Podobnie testy
jednostkowe - nie sprawdzają czy wynik jest poprawny, ale tylko czy
jest zgodny z oczekiwaniami - i tak samo trzeba je napisać.
Zapomniałeś (?) o lint i innych podobnych, np. PMD. Zapomniałeś o
sprawdzaniu składni w trakcie edycji.
> 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ć.
To trochę brzmi jak idealny język dla biurokratów. Wszystko jest
wymuszone, zgodne ze standardami i procedurami, jedynie słuszne.
W latach 70-tych były dwa modne języki programowania: C i Pascal.
Pascal znacznie lepiej sprawdza to co uznaje za poprawność. C ma
filozofię "róbta co chceta". Cytując klasyka "grzeczne panienki idą
do nieba, niegrzeczne tam gdzie chcą".
Obecnie Pascal w pierwotnej formie nie jest używany. Jest jakieś
Delphi, jest Lazarus z FPC. Natomiast klasyczne C trzyma się całkiem
dobrze, a nawet przeżywa drugą młodość na MCU.
Następne wpisy z tego wątku
- 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.
- 10.08.17 15:25 M.M.
- 10.08.17 18:06 AK
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-03-14 Warszawa => Account Manager - Sprzedaż Usług Rekrutacyjnych <=
- 2025-03-14 Gliwice => Business Development Manager - Dział Sieci i Bezpieczeńst
- 2025-03-14 VAT-R Umowa najmu na adres zamieszkania
- 2025-03-14 Gliwice => IT Expert (Network Systems area) <=
- 2025-03-14 Warszawa => Junior Rekruter <=
- 2025-03-14 Wrocław => Konsultant wdrożeniowy Comarch XL/Optima (Księgowość i
- 2025-03-14 China-Kraków => Senior PHP Symfony Developer <=
- 2025-03-14 Żerniki => Dyspozytor Międzynarodowy <=
- 2025-03-13 Raspberry Pi 3 Model B+
- 2025-03-13 Kuchenka elektryczna
- 2025-03-12 test
- 2025-03-13 własny ekran startowy
- 2025-03-13 Błonie => IT System Administrator <=
- 2025-03-13 Częstochowa => Manager ds. produktu <=
- 2025-03-13 Środa Wielkopolska => SAP FI/CO Internal Consultant <=