-
Data: 2019-01-16 12:28:09
Temat: Re: Jaki język polecić początkującemu? - komentarz do artykułu w Programista 9/2018
Od: Maciej Sobczak <s...@g...com> szukaj wiadomości tego autora
[ pokaż wszystkie 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
- Grok zaczął nadużywać wulgaryzmów i wprost obrażać niektóre znane osoby
- 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
Najnowsze wątki
- 2025-07-23 Gdańsk => Programista Delphi <=
- 2025-07-23 Gdańsk => Programista Mainframe (z/OS, Assembler) <=
- 2025-07-23 Warszawa => Starszy inżynier DevOps (AWS) <=
- 2025-07-23 Gdańsk => Mainframe (z/OS, Assembler) Developer <=
- 2025-07-23 Kraków => Senior Fullstack Engineer (Low-Code Platform) <=
- 2025-07-23 Wrocław => Senior Key Account Manager IT <=
- 2025-07-23 Trójmiasto => Head of Social Media <=
- 2025-07-23 Rzeszów => Spedytor Międzynarodowy <=
- 2025-07-23 Lublin => ERP Implementation Consultant (AP Module) <=
- 2025-07-23 Środa Wielkopolska => SAP FI/CO Internal Consultant <=
- 2025-07-23 Warszawa => Inżynier oprogramowania .Net <=
- 2025-07-23 Kraków => Kotlin Developer <=
- 2025-07-23 Żerniki => Dyspozytor Międzynarodowy <=
- 2025-07-23 Warszawa => Java Developer <=
- 2025-07-23 Wrocław => Konsultant wdrożeniowy (systemy controlingowe) <=