-
X-Received: by 2002:ac8:6043:: with SMTP id k3mr103778qtm.6.1547638089906; Wed, 16
Jan 2019 03:28:09 -0800 (PST)
X-Received: by 2002:ac8:6043:: with SMTP id k3mr103778qtm.6.1547638089906; Wed, 16
Jan 2019 03:28:09 -0800 (PST)
Path: news-archive.icm.edu.pl!news.icm.edu.pl!newsfeed.pionier.net.pl!feeder.erje.net
!2.eu.feeder.erje.net!newsfeed.xs4all.nl!newsfeed7.news.xs4all.nl!85.12.16.70.M
ISMATCH!peer03.ams1!peer.ams1.xlned.com!news.xlned.com!peer03.am4!peer.am4.high
winds-media.com!peer02.iad!feed-me.highwinds-media.com!news.highwinds-media.com
!v55no1189671qtk.0!news-out.google.com!h3ni664qtk.1!nntp.google.com!v55no118966
9qtk.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: pl.comp.programming
Date: Wed, 16 Jan 2019 03:28:09 -0800 (PST)
In-Reply-To: <2...@g...com>
Complaints-To: g...@g...com
Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=194.9.244.33;
posting-account=bMuEOQoAAACUUr_ghL3RBIi5neBZ5w_S
NNTP-Posting-Host: 194.9.244.33
References: <c...@g...com>
<9...@g...com>
<1...@g...com>
<8...@g...com>
<d...@g...com>
<a...@g...com>
<c...@g...com>
<6...@g...com>
<3...@g...com>
<a...@g...com>
<a...@g...com>
<5...@g...com>
<q17bsf$1157$1@gioia.aioe.org>
<c...@g...com>
<q17fpf$1j06$1@gioia.aioe.org>
<4...@g...com>
<q17ltn$fmv$1@gioia.aioe.org>
<f...@g...com>
<q1aufn$15m2$1@gioia.aioe.org>
<3...@g...com>
<a...@g...com>
<8...@g...com>
<2...@g...com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <0...@g...com>
Subject: Re: Jaki język polecić początkującemu? - komentarz do artykułu w
Programista 9/2018
From: Maciej Sobczak <s...@g...com>
Injection-Date: Wed, 16 Jan 2019 11:28:10 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 5789
X-Received-Body-CRC: 4262654050
Xref: news-archive.icm.edu.pl pl.comp.programming:213294
[ ukryj nagłówki ]> Nie wiem. Być może pod jakimiś względami jest lepsze.
> Choćby pod takim, że jeżeli funkcja może potencjalnie mieć efekt uboczny, to
informacja o tym musi być zawarta w jej typie.
To jest pomysł z dobrymi intencjami, ale bardzo trudno się go praktykuje w większej
skali. W SPARKu jest tak:
http://docs.adacore.com/spark2014-docs/html/lrm/subp
rograms.html#global-aspects
Dalej dokładamy do tego komplikację z kierunkami (czy coś jest czytane czy pisane a
może oba, itd.) i zanim się orientujemy mamy tego więcej, niż właściwego kodu
aplikacji - czyli skupiamy się na młotku.
Jest to bardzo wysoka cena za niejasną wartość dodaną.
Dlatego rozwiązaniem może być automatyczna inferencja takich zależności.
> Albo pod takim, że stosunkowo łatwo wyabstrahować od konkretnego świata i
dostarczyć mockową implementację zachowania skutków ubocznych na potrzeby testów.
To też dobry pomysł. Ale bez przesady z tym abstrahowaniem - przecież nie jest tak,
że progam fizycznie czymś macha albo kręci. Program w najlepszym razie modyfikuje
jakieś zmienne - a to, czy te zmienne są do czegoś przyczepione (np. do rejestrów
I/O) to już jest inna warstwa, i to właśnie w tej innej warstwie można sobie dowolnie
abstrahować. Czyli cudowanie z osobnymi typami I/O nie jest potrzebne do tego, żeby
skutecznie zrobić mocka do testów.
> Albo pod takim, że owe "inne reguły" są mimo wszystko podporządkowane pewnemu
prostemu matematycznemu rygorowi.
Żadna pociecha. To tak, jakbyś się cieszył, że coś się równo podarło. Nadal jest
słabo.
> Chciałem jedynie zwrócić uwagę, że zarówno Haskell jak i Ada uważa ten podział za
istotny i oferuje jakieś środki do wyrażania go.
Tak. Programistom C/C++ pozostaje jedynie przyjąc konwencję, że jak coś ma skutki
uboczne, to jest to "funkcja" zwracająca void, w przeciwnym razie jest to czysta
funkcja zwracająca cośtam. Próbowałem tą konwencję stosować, nawet się sprawdza.
> (Tym niemniej, spotykam czasem ludzi, którzy uważają, że imperatywny program
napisany w Haskellu jest lepszy, bo... no bo tak)
A ja potem spotykam ich twórczość w postaci np. implementacji MD5...
> Pytam dlaczego podział na czyste funkcje i dokonujące efektów procedury jest dobry.
Bo, jak każda inna konwencja, również ta jest dodatkowym kanałem komunikacji między
autorem a czytelnikiem kodu. Co więcej, w odróżnieniu od komentarzy, taka konwencja
może być też zrozumiała dla automatów analizujących kod.
--
Maciej Sobczak * http://www.inspirel.com
Następne wpisy z tego wątku
- 16.01.19 13:06 AK
- 16.01.19 13:08 AK
- 16.01.19 13:13 AK
- 16.01.19 13:15 Maciej Sobczak
- 16.01.19 13:27 Maciej Sobczak
- 16.01.19 13:37 g...@g...com
- 16.01.19 14:57 AK
- 16.01.19 15:06 AK
- 16.01.19 15:12 AK
- 16.01.19 15:23 AK
- 16.01.19 18:29 g...@g...com
- 16.01.19 20:56 g...@g...com
- 16.01.19 20:58 g...@g...com
- 17.01.19 09:35 Maciej Sobczak
- 17.01.19 09:45 Maciej Sobczak
Najnowsze wątki z tej grupy
- Can you activate BMW 48V 10Ah Li-Ion battery, connecting to CAN-USB laptop interface ?
- We Wrocławiu ruszyła Odra 5, pierwszy w Polsce komputer kwantowy z nadprzewodzącymi kubitami
- Ada-Europe - AEiC 2025 early registration deadline imminent
- John Carmack twierdzi, że gdyby gry były optymalizowane, to wystarczyły by stare kompy
- Ada-Europe Int.Conf. Reliable Software Technologies, AEiC 2025
- Linuks od wer. 6.15 przestanie wspierać procesory 486 i będzie wymagać min. Pentium
- ,,Polski przemysł jest w stanie agonalnym" - podkreślił dobitnie, wskazując na brak zamówień.
- Rewolucja w debugowaniu!!! SI analizuje zrzuty pamięci systemu M$ Windows!!!
- Brednie w wiki - hasło Dehomag
- Perfidne ataki krakerów z KRLD na skrypciarzy JS i Pajton
- Instytut IDEAS może zacząć działać: "Ma to być unikalny w europejskiej skali ośrodek badań nad sztuczną inteligencją."
- Instytut IDEAS może zacząć działać: "Ma to być unikalny w europejskiej skali ośrodek badań nad sztuczną inteligencją."
- Instytut IDEAS może zacząć działać: "Ma to być unikalny w europejskiej skali ośrodek badań nad sztuczną inteligencją."
- U nas propagują modę na SI, a w Chinach naukowcy SI po kolei umierają w wieku 40-50lat
- C++. Podróż Po Języku - komentarz
Najnowsze wątki
- 2025-07-05 Shrek, wzrośnie cena prądu :-)
- 2025-07-05 Warszawa => Senior Frontend Developer (React + React Native) <=
- 2025-07-05 Środa Wielkopolska => SAP FI/CO Internal Consultant <=
- 2025-07-05 Środa Wielkopolska => SAP FI/CO Konsultant wewnętrzny <=
- 2025-07-06 Płacić za wodę ze studni
- 2025-07-06 Kolejny inżynier...
- 2025-07-05 UE ustępuje pod presją Trumpa. Socjaldemokraci: oddaliśmy miliardy
- 2025-07-04 od kiedy można obrażać Plastusia i do kiedy Batyra?
- 2025-07-05 UE ustępuje pod presją Trumpa. Socjaldemokraci: oddaliśmy miliardy
- 2025-07-03 Trybik
- 2025-07-04 Renault Symbioz
- 2025-07-04 Architektura IIIRP: Wyjątkowa, a prymitywniejsza niż stodoła pod zaborami
- 2025-07-04 Warszawa => International Freight Forwarder <=
- 2025-07-04 Wrocław => SAP ABAP Developer <=
- 2025-07-04 Warszawa => Mid/Senior IT Recruiter <=