Re: Rust

From	slawek <fake@fakeemail.com>
Newsgroups	pl.comp.programming
Subject	Re: Rust
Date	2017-08-10 08:57 +0200
References	(3 earlier) <om9hfe$4up$2@node2.news.atman.pl> <almarsoft.4379586069345250783@news.v.pl> <omfp58$92v$1@node1.news.atman.pl> <almarsoft.1791787467869614906@news.v.pl> <omgs3i$s8o$1@node2.news.atman.pl>
Message-ID	<almarsoft.6715716353244429192@news.v.pl> (permalink)
Organization	Telekomunikacja Polska

Show all headers | View raw

On Thu, 10 Aug 2017 07:48:34 +0200, Borneq 
<borneq@antyspam.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.

Thread

Rust Borneq <borneq@antyspam.hidden.pl> - 2017-08-05 18:10 +0200
  Re: Rust w systemie siła 'POPIS/EU <NOSPAMtestowanije@go2.pl> - 2017-08-05 19:48 +0200
  Re: Rust Borneq <borneq@antyspam.hidden.pl> - 2017-08-05 20:13 +0200
  Re: Rust szykcech@gmail.com - 2017-08-06 02:54 -0700
    Re: Rust "M.M." <mmarszik@gmail.com> - 2017-08-06 03:03 -0700
      Re: Rust Borneq <borneq@antyspam.hidden.pl> - 2017-08-07 13:02 +0200
        Re: Rust szykcech@gmail.com - 2017-08-07 05:20 -0700
          Re: Rust "AK" <nobody@nowhere.net> - 2017-08-08 19:49 +0200
      Re: Rust Borneq <borneq@antyspam.hidden.pl> - 2017-08-07 13:04 +0200
        Re: Rust slawek <fake@fakeemail.com> - 2017-08-07 14:58 +0200
          Re: Rust Borneq <borneq@antyspam.hidden.pl> - 2017-08-09 21:52 +0200
            Re: Rust slawek <fake@fakeemail.com> - 2017-08-09 22:16 +0200
              Re: Rust Borneq <borneq@antyspam.hidden.pl> - 2017-08-10 07:48 +0200
                Re: Rust slawek <fake@fakeemail.com> - 2017-08-10 08:57 +0200
                Re: Rust godek.maciek@gmail.com - 2017-08-10 01:42 -0700
                Re: Rust slawek <fake@fakeemail.com> - 2017-08-10 11:03 +0200
                Re: Rust godek.maciek@gmail.com - 2017-08-10 02:34 -0700
                Re: Rust slawek <fake@fakeemail.com> - 2017-08-10 14:51 +0200
                Re: Rust "M.M." <mmarszik@gmail.com> - 2017-08-10 03:17 -0700
                Re: Rust slawek <fake@fakeemail.com> - 2017-08-10 14:56 +0200
                Re: Rust "M.M." <mmarszik@gmail.com> - 2017-08-10 06:25 -0700
                Re: Rust Maciej Sobczak <see.my.homepage@gmail.com> - 2017-08-10 05:19 -0700
                Re: Rust slawek <fake@fakeemail.com> - 2017-08-10 14:57 +0200
                Re: Rust "M.M." <mmarszik@gmail.com> - 2017-08-10 06:21 -0700
                Re: Rust Maciej Sobczak <see.my.homepage@gmail.com> - 2017-08-11 02:40 -0700
      Re: Rust slawek <fake@fakeemail.com> - 2017-08-07 14:43 +0200
        Re: Rust "M.M." <mmarszik@gmail.com> - 2017-08-08 02:48 -0700
          Re: Rust slawek <fake@fakeemail.com> - 2017-08-08 14:17 +0200
            Re: Rust "M.M." <mmarszik@gmail.com> - 2017-08-08 06:25 -0700
              Re: Rust slawek <fake@fakeemail.com> - 2017-08-08 15:56 +0200
                Re: Rust "AK" <nobody@nowhere.net> - 2017-08-08 20:13 +0200
                Re: Rust slawek <fake@fakeemail.com> - 2017-08-08 22:14 +0200
                Re: Rust "M.M." <mmarszik@gmail.com> - 2017-08-08 13:34 -0700
                Re: Rust slawek <fake@fakeemail.com> - 2017-08-09 07:23 +0200
                Re: Rust "M.M." <mmarszik@gmail.com> - 2017-08-09 05:43 -0700
                Re: Rust slawek <fake@fakeemail.com> - 2017-08-09 16:38 +0200
                Re: Rust Adam M <amorawski@magna-power.com> - 2017-08-09 07:48 -0700
                Re: Rust slawek <fake@fakeemail.com> - 2017-08-09 17:00 +0200
                Re: Rust "M.M." <mmarszik@gmail.com> - 2017-08-09 09:42 -0700
                Re: Rust slawek <fake@fakeemail.com> - 2017-08-09 19:12 +0200
                Re: Rust "M.M." <mmarszik@gmail.com> - 2017-08-09 10:15 -0700
                Re: Rust slawek <fake@fakeemail.com> - 2017-08-09 19:52 +0200
                Re: Rust slawek <fake@fakeemail.com> - 2017-08-09 19:15 +0200
                Re: Rust "M.M." <mmarszik@gmail.com> - 2017-08-09 10:29 -0700
                Re: Rust wół, wół roboczy, wół dojno roboczo obronny 'POPIS/EU <NOSPAMtestowanije@go2.pl> - 2017-08-09 19:32 +0200
                Re: Rust slawek <fake@fakeemail.com> - 2017-08-09 19:53 +0200
                Re: Rust wół, wół roboczy, wół dojno roboczo obronny 'POPIS/EU <NOSPAMtestowanije@go2.pl> - 2017-08-09 20:09 +0200
                Re: Rust slawek <fake@fakeemail.com> - 2017-08-09 19:45 +0200
                Re: Rust "M.M." <mmarszik@gmail.com> - 2017-08-09 11:18 -0700
                Re: Rust slawek <fake@fakeemail.com> - 2017-08-09 21:04 +0200
                Re: Rust "M.M." <mmarszik@gmail.com> - 2017-08-09 13:03 -0700
                Re: Rust slawek <fake@fakeemail.com> - 2017-08-09 22:17 +0200
                Re: Rust slawek <fake@fakeemail.com> - 2017-08-09 22:24 +0200
                Re: Rust slawek <fake@fakeemail.com> - 2017-08-09 22:34 +0200
                Re: Rust slawek <fake@fakeemail.com> - 2017-08-09 22:38 +0200
                Re: Rust "M.M." <mmarszik@gmail.com> - 2017-08-09 14:36 -0700
                Re: Rust slawek <fake@fakeemail.com> - 2017-08-09 23:57 +0200
                Re: Rust Roman Tyczka <noemail@because.no> - 2017-08-09 22:22 +0200
                Re: Rust "M.M." <mmarszik@gmail.com> - 2017-08-09 13:31 -0700
                Re: Rust slawek <fake@fakeemail.com> - 2017-08-09 23:54 +0200
                Re: Rust godek.maciek@gmail.com - 2017-08-09 13:48 -0700
                Re: Rust slawek <fake@fakeemail.com> - 2017-08-10 00:08 +0200
                Re: Rust godek.maciek@gmail.com - 2017-08-09 15:24 -0700
                Re: Rust "M.M." <mmarszik@gmail.com> - 2017-08-09 16:06 -0700
                Re: Rust slawek <fake@fakeemail.com> - 2017-08-10 07:18 +0200
                Re: Rust slawek <fake@fakeemail.com> - 2017-08-10 01:36 +0200
                Re: Rust Borneq <borneq@antyspam.hidden.pl> - 2017-08-10 07:22 +0200
                Re: Rust godek.maciek@gmail.com - 2017-08-09 23:28 -0700
                Re: Rust slawek <fake@fakeemail.com> - 2017-08-10 09:13 +0200
                Re: Rust godek.maciek@gmail.com - 2017-08-10 01:38 -0700
                Re: Rust slawek <fake@fakeemail.com> - 2017-08-10 10:57 +0200
                Re: Rust godek.maciek@gmail.com - 2017-08-10 02:04 -0700
                Re: Ruststrukturalny jezy= "AK" <nobody@nowhere.net> - 2017-08-10 22:27 +0200
                Re: Rust "AK" <nobody@nowhere.net> - 2017-08-10 18:06 +0200
                Re: Rust slawek <fake@fakeemail.com> - 2017-08-10 20:39 +0200
                Re: Rust "M.M." <mmarszik@gmail.com> - 2017-08-10 12:20 -0700
                Re: Rust slawek <fake@fakeemail.com> - 2017-08-10 22:06 +0200
                Re: Rust "AK" <nobody@nowhere.net> - 2017-08-10 22:23 +0200
                Re: Rust slawek <fake@fakeemail.com> - 2017-08-10 23:01 +0200
                Re: Rust "AK" <nobody@nowhere.net> - 2017-08-10 22:18 +0200
                Re: Rust slawek <fake@fakeemail.com> - 2017-08-10 22:27 +0200
                Re: Rust Roman Tyczka <noemail@because.no> - 2017-08-11 09:58 +0200
                Re: Rust slawek <fake@fakeemail.com> - 2017-08-10 22:36 +0200
                Re: Rust szykcech@gmail.com - 2017-08-10 13:24 -0700
                Re: Rust "AK" <nobody@nowhere.net> - 2017-08-10 22:32 +0200
                Re: Rust slawek <fake@fakeemail.com> - 2017-08-10 22:56 +0200
                Re: Rust Maciej Sobczak <see.my.homepage@gmail.com> - 2017-08-11 02:34 -0700
                Re: Rust slawek <fake@fakeemail.com> - 2017-08-11 14:03 +0200
                Re: Rust Maciej Sobczak <see.my.homepage@gmail.com> - 2017-08-11 05:34 -0700
                Re: Rust slawek <fake@fakeemail.com> - 2017-08-11 14:43 +0200
                Re: Rust slawek <fake@fakeemail.com> - 2017-08-11 14:55 +0200
                Re: Rust "M.M." <mmarszik@gmail.com> - 2017-08-11 06:15 -0700
                Re: Rust slawek <fake@fakeemail.com> - 2017-08-11 15:17 +0200
                Re: Rust kropelka@gmail.com - 2017-08-11 11:55 -0700
                Re: Rust slawek <fake@fakeemail.com> - 2017-08-11 22:03 +0200
                Re: Rust kropelka@gmail.com - 2017-08-11 13:43 -0700
                Re: Rust slawek <fake@fakeemail.com> - 2017-08-12 07:04 +0200
                Re: Rust slawek <fake@fakeemail.com> - 2017-08-12 07:25 +0200
                Re: Rust slawek <fake@fakeemail.com> - 2017-08-11 22:13 +0200
                Re: Rust slawek <fake@fakeemail.com> - 2017-08-11 15:27 +0200
                Re: Rust "M.M." <mmarszik@gmail.com> - 2017-08-11 05:53 -0700
                Re: Rust Tomasz Kaczanowski <kaczus@poczta.onet.pl> - 2017-08-11 15:17 +0200
                Re: Rust szykcech@gmail.com - 2017-08-12 06:59 -0700
                Re: Rust slawek <fake@fakeemail.com> - 2017-08-12 19:08 +0200
                Re: Rust Wojciech Muła <wojtek.mula@gmail.com> - 2017-08-12 11:17 -0700
                Re: Rust slawek <fake@fakeemail.com> - 2017-08-12 20:27 +0200
                Re: Rust slawek <fake@fakeemail.com> - 2017-08-12 20:41 +0200
                Re: Rust slawek <fake@fakeemail.com> - 2017-08-12 20:46 +0200
                Re: Rust "M.M." <mmarszik@gmail.com> - 2017-08-12 20:26 -0700
                Re: Rust Wojciech Muła <wojtek.mula@gmail.com> - 2017-08-12 21:01 -0700
                Re: Rust slawek <fake@fakeemail.com> - 2017-08-13 07:29 +0200
                Re: Rust slawek <fake@fakeemail.com> - 2017-08-12 20:53 +0200
                Re: Rust slawek <fake@fakeemail.com> - 2017-08-12 20:56 +0200
                Re: Rust slawek <fake@fakeemail.com> - 2017-08-12 20:57 +0200
                Re: Rust slawek <fake@fakeemail.com> - 2017-08-10 22:45 +0200
                Re: Rust szykcech@gmail.com - 2017-08-12 06:56 -0700
                Re: Rust slawek <fake@fakeemail.com> - 2017-08-10 22:46 +0200
                Re: Rust slawek <fake@fakeemail.com> - 2017-08-10 22:48 +0200
                Re: Rust slawek <fake@fakeemail.com> - 2017-08-10 22:52 +0200
          Re: Rust "AK" <nobody@nowhere.net> - 2017-08-08 19:57 +0200
            Re: Rust "M.M." <mmarszik@gmail.com> - 2017-08-08 12:52 -0700
        Re: Rust "AK" <nobody@nowhere.net> - 2017-08-08 19:51 +0200
      Re: Rust "AK" <nobody@nowhere.net> - 2017-08-08 19:45 +0200
        Re: Rust slawek <fake@fakeemail.com> - 2017-08-08 20:45 +0200
        Re: Rust "M.M." <mmarszik@gmail.com> - 2017-08-08 12:50 -0700
    Re: Rust slawek <fake@fakeemail.com> - 2017-08-07 14:41 +0200
      Re: Rust szykcech@gmail.com - 2017-08-07 07:28 -0700
        Re: Rust slawek <fake@fakeemail.com> - 2017-08-07 22:42 +0200
          Re: Rust Borneq <borneq@antyspam.hidden.pl> - 2017-08-08 07:46 +0200
            Re: Rust slawek <fake@fakeemail.com> - 2017-08-08 09:12 +0200
          Re: Rust Zenon Oktawiec <zenon@samm.com.pl> - 2017-08-08 11:41 +0200
            Re: Rust slawek <fake@fakeemail.com> - 2017-08-08 14:14 +0200
              Re: Rust Zenon Oktawiec <zenon@samm.com.pl> - 2017-08-08 14:18 +0200
    Re: Rust "AK" <nobody@nowhere.net> - 2017-08-08 19:06 +0200
  Re: Rust Adam M <amorawski@magna-power.com> - 2017-08-09 06:50 -0700

csiph-web