-
X-Received: by 10.31.169.76 with SMTP id s73mr74058vke.14.1507291281954; Fri, 06 Oct
2017 05:01:21 -0700 (PDT)
X-Received: by 10.31.169.76 with SMTP id s73mr74058vke.14.1507291281954; Fri, 06 Oct
2017 05:01:21 -0700 (PDT)
Path: news-archive.icm.edu.pl!news.icm.edu.pl!news.nask.pl!news.nask.org.pl!news.unit
0.net!weretis.net!feeder6.news.weretis.net!feeder.usenetexpress.com!feeder-in1.
iad1.usenetexpress.com!border1.nntp.dca1.giganews.com!nntp.giganews.com!6no3727
78qtw.1!news-out.google.com!r5ni164qtc.1!nntp.google.com!d13no373984qta.0!postn
ews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: pl.comp.programming
Date: Fri, 6 Oct 2017 05:01:21 -0700 (PDT)
In-Reply-To: <a...@g...com>
Complaints-To: g...@g...com
Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=194.9.244.32;
posting-account=bMuEOQoAAACUUr_ghL3RBIi5neBZ5w_S
NNTP-Posting-Host: 194.9.244.32
References: <c...@g...com>
<4...@g...com>
<b...@g...com>
<d...@g...com>
<f...@g...com>
<b...@g...com>
<1...@g...com>
<4...@g...com>
<5...@g...com>
<e...@g...com>
<5...@g...com>
<b...@g...com>
<a...@g...com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <e...@g...com>
Subject: Re: Optymalizacja struktur danych dla programów funkcyjnych
From: Maciej Sobczak <s...@g...com>
Injection-Date: Fri, 06 Oct 2017 12:01:21 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Lines: 64
Xref: news-archive.icm.edu.pl pl.comp.programming:211572
[ ukryj nagłówki ]> > Bez przesady. Nawet nie podałeś definicji, tylko przykład, z którym ja się nie
zgodziłem. To mi się nie kwalifikuje jako "ustaliliśmy".
>
> Pozwolę sobie wkleić:
> Miałoby znaczyć tyle, że dla danego wejścia daje zawsze to samo wyjście.
>
> (koniec cytatu)
I bez wklejania, powtórzę: każdy program tak ma.
> > Ogólnie, oodwoływanie się do takich pojęć jak "istota czegoś" jest trochę...
nieinżynierskie.
>
> Owszem. Ale dlaczego miałoby to być problemem?
Bo jest nieprecyzyjne i niedookreślone. A stąd prosta droga do nieporozumień.
> Stwierdzenie, że kompilator jest w istocie programem czysto funkcyjnym
> oznacza tyle, że kompilacja jest rodzajem transformacji (przekształcenia).
Każde przetwarzanie czegokolwiek takie jest.
> Piszesz błędnie.
>
> Jeżeli mamy np. program
>
> int square(int x) {
> return x*x;
> }
>
> void main(int argc, char *argv[]) {
> assert(argc > 1);
> int n = atoi(argv[1]);
> printf("kwadrat liczby %d wynosi %d\n", n, square(n));
> }
>
> to square jest czystą funkcją.
I w tym przykładzie kontekst jest ciekawszy, bo obszar użycia tego pojęcia jest
dobrze określony. Pojęcie czystej funkcji (pure function) jest znane:
https://en.wikipedia.org/wiki/Pure_function
Co ciekawe, jest nawet użyteczne, nie tylko z powodów, o których pisałeś, ale również
np. przy analizie poprawności albo optymalizacji programów wielowątkowych.
Natomiast pojęcie *programu* czysto funkcyjnego jest słabe, bo właśnie granica
pojęcia programu jest na jego efektach ubocznych, więc nie ma jak tej czystości
zdefiniować. A podpieranie się hasłami typu "istota programu" prowadzi do kolejnych
niedopowiedzeń, bo "istotą" Twojego ostatniego przykładu może nie być liczenie, tylko
dialog z użytkownikiem albo formatowanie tesktu a programista użył square
przypadkiem, bo akurat nie umiał napisać pierwiastkowania.
--
Maciej Sobczak * http://www.inspirel.com
Następne wpisy z tego wątku
- 06.10.17 19:59 g...@g...com
- 07.10.17 23:22 Maciej Sobczak
- 08.10.17 10:47 g...@g...com
- 08.10.17 23:30 Maciej Sobczak
- 09.10.17 07:58 g...@g...com
- 09.10.17 14:25 Maciej Sobczak
- 09.10.17 18:12 fir
- 09.10.17 19:47 g...@g...com
Najnowsze wątki z tej grupy
- 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
- Ada 2022 Language Reference Manual to be Published by Springer
- Press Release - AEiC 2023, Ada-Europe Reliable Softw. Technol.
- Ada-Europe - AEiC 2023 early registration deadline approaching
- Ada-Europe Int.Conf. Reliable Software Technologies, AEiC 2023
- Ile cykli zajmuje mnożenie liczb 64-bitowych?
- Ideologia Polskiego Programisty wer.3
Najnowsze wątki
- 2024-04-30 Zniknął dźwięk na tylnym panelu
- 2024-04-30 Białystok => Inżynier DevOps (projekt JP) <=
- 2024-04-30 Kraków => Mid PHP Developer (Laravel) <=
- 2024-04-30 Katowice => Junior HelpDesk <=
- 2024-04-30 trzecia plec
- 2024-04-30 Katowice => Junior HelpDesk <=
- 2024-04-30 Białystok => Full Stack web developer (obszar .Net Core, Angular6+) <
- 2024-04-30 Białystok => Technical Leader (Java Background) <=
- 2024-04-30 Białystok => ERP Implementer <=
- 2024-04-30 Powerbank jednonapieciowy, a trzynapieciowy
- 2024-04-30 Który program do PIT-ów?
- 2024-04-30 Warszawa => Senior PHP Developer (Symfony) <=
- 2024-04-30 Warszawa => Konsultant funkcjonalny systemu Oracle E-Business Suite R1
- 2024-04-30 Obajtek bez majtek
- 2024-04-29 Warszawa => Staż w dziale Sprzedaży B2B (2 miejsca) <=