-
X-Received: by 10.31.170.19 with SMTP id t19mr865066vke.26.1507049802568; Tue, 03 Oct
2017 09:56:42 -0700 (PDT)
X-Received: by 10.31.170.19 with SMTP id t19mr865066vke.26.1507049802568; Tue, 03 Oct
2017 09:56:42 -0700 (PDT)
Path: news-archive.icm.edu.pl!news.icm.edu.pl!newsfeed2.atman.pl!newsfeed.atman.pl!go
blin3!goblin.stu.neva.ru!news.misty.com!border2.nntp.dca1.giganews.com!nntp.gig
anews.com!6no199524qtw.1!news-out.google.com!p42ni2064qtp.0!nntp.google.com!6no
199519qtw.1!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: pl.comp.programming
Date: Tue, 3 Oct 2017 09:56:42 -0700 (PDT)
In-Reply-To: <f...@g...com>
Complaints-To: g...@g...com
Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=213.108.152.51;
posting-account=bMuEOQoAAACUUr_ghL3RBIi5neBZ5w_S
NNTP-Posting-Host: 213.108.152.51
References: <c...@g...com>
<4...@g...com>
<b...@g...com>
<d...@g...com>
<f...@g...com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <b...@g...com>
Subject: Re: Optymalizacja struktur danych dla programów funkcyjnych
From: Maciej Sobczak <s...@g...com>
Injection-Date: Tue, 03 Oct 2017 16:56:42 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Lines: 46
Xref: news-archive.icm.edu.pl pl.comp.programming:211552
[ ukryj nagłówki ]
> > Nie, nie jest. I w ogóle co to miałoby znaczyć - "czysto funkcyjnym"?
>
> Miałoby znaczyć tyle, że dla danego wejścia daje zawsze to samo wyjście.
Biorąc pod uwagę deterministyczny sposób działania układów cyfrowych, każdy program
wykonany na takich układach tak działa. W każdym języku.
Ale to oznacza też, że określenie "czysto funkcyjny" jest niepraktyczne, bo niczego
nie rozstrzyga - bo skoro każdy program jest "czysto funkcyjny", to szkoda literek na
określanie wszystkiego w ten sposób.
> Nie każdy program tak robi. Na przykład system czasu rzeczywistego
> ma się odpowiednio zachować w określonych okolicznościach.
Te okoliczności to też wejście (bo niby skąd program ma wiedzieć o tych
okolicznościach? informacja o otoczeniu musi jakoś wpłynąć do programu a to jest
właśnie wejście). Podobnie jak interwały upływającego czasu - to też jest wejście.
> > Nie jest w taki sposób implementowany, bo w istocie rzeczy nie jest czysto
funkcyjny (cokolwiek to znaczy).
>
> Jeżeli nie wiesz co to znaczy, to skąd wiesz, że w istocie
> rzeczy nie jest czysto funkcyjny?
Bo określenie "czysto coś" ma zawsze wadę bycia niedookreślonym. I zwykle tak czy
siak nie jest prawdą.
Poza tym, obowiązuje zasada "nie wiem o co chodzi, ale chętnie się wypowiem".
> > Co ogólnie rozszerza moją niedawną tezę, że metody kojarzone z językami
funkcjonalnymi są nienaturalne.
> > (Co nie znaczy, że są nieużyteczne.)
>
> Jakie metody?
Te czyste. :-)
--
Maciej Sobczak * http://www.inspirel.com
Następne wpisy z tego wątku
- 03.10.17 19:52 g...@g...com
- 03.10.17 20:01 g...@g...com
- 04.10.17 00:21 Maciej Sobczak
- 04.10.17 08:15 g...@g...com
- 04.10.17 18:36 M.M.
- 04.10.17 20:02 Roman Tyczka
- 04.10.17 20:58 g...@g...com
- 05.10.17 01:37 Maciej Sobczak
- 05.10.17 08:28 g...@g...com
- 05.10.17 13:48 Maciej Sobczak
- 05.10.17 18:58 g...@g...com
- 06.10.17 14:01 Maciej Sobczak
- 06.10.17 19:59 g...@g...com
- 07.10.17 23:22 Maciej Sobczak
- 08.10.17 10: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-05-03 Warszawa => Senior PHP Developer (Symfony) <=
- 2024-05-03 Rzeszów => UX/UI Designer <=
- 2024-05-03 Giertych przetarł szlak: byli członkowie zarządu Orlenu śledztwa prokuratorskie obserwują z zagranicy
- 2024-05-03 Warszawa => Senior Rust Software Engineer <=
- 2024-05-03 Kraków => UX/UI Designer <=
- 2024-05-03 Warszawa => International freight forwarder <=
- 2024-05-02 Silnik Stirlinga - energia mechaniczna wytwarzana z ciepła bez dostarczania paliwa!
- 2024-05-02 Kraków => Senior .Net Programmer <=
- 2024-05-02 Sprowadzenie pożaru zagrażającego mieniu w wielkich rozmiarch
- 2024-05-02 Zielona Góra => Spedytor międzynarodowy <=
- 2024-05-02 Katowice => Performance Analyst <=
- 2024-05-02 Gdańsk => Full Stack web developer (obszar .Net Core, Angular6+) <=
- 2024-05-02 Gdańsk => Business Development Manager - obszar bezpieczeństwa IT <=
- 2024-05-02 Warszawa => Starszy inżynier oprogramowania (Rust) <=
- 2024-05-02 Katowice => Java Developer <=