-
X-Received: by 2002:a37:77c5:: with SMTP id s188mr20139qkc.0.1546942552580; Tue, 08
Jan 2019 02:15:52 -0800 (PST)
X-Received: by 2002:a37:77c5:: with SMTP id s188mr20139qkc.0.1546942552580; Tue, 08
Jan 2019 02:15:52 -0800 (PST)
Path: news-archive.icm.edu.pl!news.icm.edu.pl!news.nask.pl!news.nask.org.pl!news.unit
0.net!feeder.erje.net!1.eu.feeder.erje.net!proxad.net!feeder1-2.proxad.net!209.
85.160.216.MISMATCH!v55no10162598qtk.0!news-out.google.com!m21ni17503qta.0!nntp
.google.com!v55no10162594qtk.0!postnews.google.com!glegroupsg2000goo.googlegrou
ps.com!not-for-mail
Newsgroups: pl.comp.programming
Date: Tue, 8 Jan 2019 02:15:52 -0800 (PST)
In-Reply-To: <d...@g...com>
Complaints-To: g...@g...com
Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=213.192.68.153;
posting-account=f7iIKQoAAAAkDKpUafc-4IXhmRAzdB5r
NNTP-Posting-Host: 213.192.68.153
References: <0...@g...com>
<8...@g...com>
<a...@g...com>
<a...@g...com>
<1...@g...com>
<2...@g...com>
<2...@g...com>
<c...@g...com>
<4...@g...com>
<d...@g...com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <d...@g...com>
Subject: Re: Uwagi odnośnie książki Stroustrupa
From: g...@g...com
Injection-Date: Tue, 08 Jan 2019 10:15:52 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Xref: news-archive.icm.edu.pl pl.comp.programming:213202
[ ukryj nagłówki ]W dniu wtorek, 8 stycznia 2019 09:46:50 UTC+1 użytkownik Maciej Sobczak napisał:
> > I tak na przykład, pisałem, żeby unikać operacji przypisania tam,
> > gdzie to nie jest konieczne.
>
> I od samego początku ta teza nie została poparta żadnym przykładem. Zmienne
statyczne omówiliśmy, ale czy ich przykładowe nadużycie jest jedynym takim miejscem?
Gdzie jeszcze nie jest konieczne?
Gwoli ścisłości: to nie było "przykładowe nadużycie".
To był najprostszy możliwy przykład użycia zmiennej
statycznej. I to nie był przykład na zły styl w programowaniu
- czasem konstrukcje tego typu mogą mieć sens.
To był przykład na to, w jaki sposób "mutowalny stan"
komplikuje nasze środki analizy programu.
I nie chodzi o to, że programy, które używają "mutowalnego
stanu" są "gorsze" od takich, które go nie używają. Ja tak
nie twierdzę. Twierdzę, że są - co do zasady - trudniejsze
do zrozumienia, co - jak sądzę - zobrazowałem programem
liczącym sumę kwadratów początkowych siedmiu liczb pierwszych,
który się gdzieś w tym wątku przewinął.
> > nigdzie tam nie pisałem, że "operator
> > przypisania jest niepotrzebny".
>
> Przepraszam za skrót myślowy. Łączę tą kwestię z ogólną niechęcią zwolenników
programowania funkcjonalnego do modyfikowalnego stanu.
No ja się czasem spotykam z ludźmi, którzy twierdzą, że "programy
funkcyjne są lepsze, bo są lepsze", albo "są lepsze, bo są
przejrzyste odniesieniowo", i którzy robią rzeczy prawdziwie
kuriozalne. Uważam, że to głupota.
Ale też uważam, że warto dobierać najprostsze środki do realizacji
danego celu. Jeżeli coś można zrobić bez przypisania, bo pojęcie
stanu nie jest istotnym składnikiem rozwiązywanego problemu, to
lepiej to tak zrobić. I są pewne konkretne powody ku temu
- mianowicie to, że zyskujemy możliwość analizy kodu w terminach
podstawień, a nie w terminach przepływu sterowania, który w wielu
sytuacjach jest dla nas nieinteresujący (a nawet ograniczający)
> > Ale moja percepcja Twoich słów jest taka, że nie wypowiadasz
> > ich po to, żeby dowiedzieć się, co mam na myśli, tylko po to,
> > żeby udowodnić mi, że nie mam racji.
>
> Inaczej: mając wrażenie, że dowiedziałem się już, co masz na myśli, udowadniam, że
nie masz racji. :-) Jest bardzo możliwe, że gdzieś się mijamy w naszych wrażeniach,
ale ponieważ dziedzina jest techniczna, to zawsze staram się odwoływać do przykładów
(albo prosić o przykłady) z kodem.
Ja też. Nawet w dziedzinach nietechnicznych
Jeżeli ktoś nie jest w stanie podać przykładów
na rzecz swoich twierdzeń, to jest to dla mnie
silna przesłanka za tym, żeby uznać, że nie wie,
co mówi (albo że tak sobie po prostu gada)
> > (między innymi dlatego cenię sobie języki programowania, bo
> > pozwalają się komunikować w sposób hiper precyzyjny bez żadnego
> > miejsca na niejednoznaczność)
>
> Właśnie.
>
> A skoro i tak weszliśly już w tym podwątku na poziom miękki, to pozwolę sobie na
drobne wyjaśnienie. Być może masz wrażenie, że się Ciebie czepiam dla samego
czepiania, ale moja perspektywa jest inna. Otóż padło tutaj w dyskusji N zarzutów
wobec różnych rzeczy (książki, języka, paradygmatu, itd.) cieszących się w miarę
szerokim poważaniem i wśród tych zarzutów jest M, z którymi się nie zgadzam. A
ponieważ na tej grupie jest bardzo mało okazji do dyskusji, więc korzystam z tych M.
Gdyby te N zarzutów było napisanych przez N różnych grupowiczów, to również wtedy nie
zgodziłbym się z M z nich i odniósłbym się do nich (z grubsza) w taki sam sposób.
> Tymczasem zupełnym przypadkiem te M dyskusyjnych kwestii pochodzi od jednego
grupowicza. Tak, jesteś jedyną osobą, która w ostatnim czasie konsekwentnie forsuje
tutaj pewien nurt techniczny, który z racji swojej dzisiejszej niszowości jest
kontrowersyjny (co nie znaczy, że nowatorski a przez to nieznany). Inaczej mówiąc,
fakt, że spada na Ciebie cały ogień obrony jest z mojego punktu widzenia wyłącznie
przypadkiem, jeśli nie Twoją winą, skoro jesteś jedynym atakującym. :-)
Rozumiem.
Choć nie zgodzę się z tym, że cokolwiek forsuję. Może "promuję"
byłoby lepszym słowem.
> To rzekłszy, dawno temu był tu grupowicz podpisujący się jako Qrczak. Forsował
mniej więcej te same poglądy a nawet popełnił własny język programowania o nazwie
Kogut (http://kokogut.sourceforge.net/kogut.html). Nie wykluczam, że go znasz.
Niestety nie zagląda już tutaj, ale jestem przekonany, że świetnie byście się
dogadali, na pewno z korzyścią dla grupy.
Kojarzę go, choć może raz z nim rozmawiałem, ale rzeczywiście
było to dawno.
Ciekawostką jest, że ostatnio upvote'ował dwie moje odpowiedzi
na Quorze, w tym jedną, którą wkleiłem na początku naszej rozmowy,
i drugą, w której krytykowałem C++, skąd dowiedziałem się, że też ma
profil na Quorze:
https://www.quora.com/profile/Marcin-Kowalczyk-11
Następne wpisy z tego wątku
- 08.01.19 13:33 AK
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-12-12 Warszawa => Administrator Bezpieczeństwa IT <=
- 2024-12-12 Ostrów Wielkopolski => Trener zespołu sprzedaży Call Center <=
- 2024-12-12 Kraków => Key Account Manager <=
- 2024-12-11 SEP 1 kV E
- 2024-12-11 DNS restrictions are on
- 2024-12-11 wielkie bu
- 2024-12-11 Białystok => Inżynier bezpieczeństwa aplikacji <=
- 2024-12-11 Aku LiPo źródło dostaw - ktoś poleci ?
- 2024-12-11 Warszawa => Specjalista Bezpieczeństwa Informacji <=
- 2024-12-11 Wrocław => Application Security Engineer <=
- 2024-12-11 Warszawa => Analyst in the Trade Development department (experience wi
- 2024-12-11 Lublin => Programista Delphi <=
- 2024-12-11 Motodziennik #305 Nowy ELEKTRYK za 350 złotych miesięcznie? Kreatywne kredytowanie problemów
- 2024-12-11 Warszawa => Spedytor Międzynarodowy <=
- 2024-12-11 Katowice => Key Account Manager (ERP) <=