-
Data: 2017-10-03 18:56:42
Temat: Re: Optymalizacja struktur danych dla programów funkcyjnych
Od: Maciej Sobczak <s...@g...com> szukaj wiadomości tego autora
[ pokaż wszystkie 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
- Popr. 14. Nauka i Praca Programisty C++ w III Rzeczy (pospolitej)
- Arch. Prog. Nieuprzywilejowanych w pełnej wer. na nowej s. WWW energokod.pl
- 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
Najnowsze wątki
- 2025-02-07 Jaki silikon lub może klej?
- 2025-02-07 Gdańsk => iOS Developer (Swift experience) <=
- 2025-02-07 Warszawa => Starszy Programista C <=
- 2025-02-07 Niby to nie sąd ale kooorwa tak to w sądach dziś wygląda?
- 2025-02-06 PROGRAM DOPŁAT DO AUT ELEKTRYCZNYCH TO ABSURD. ZA ŚRODKI Z KPO KUPIMY NIEMIECKIE I CHIŃSKIE AUTA
- 2025-02-05 ceny OC
- 2025-02-05 Re: ceny OC
- 2025-02-05 Re: ceny OC
- 2025-02-07 Smar do video
- 2025-02-06 Litowe baterie AA Li/FeS2 a alkaliczne
- 2025-02-07 Gliwice => Business Development Manager - Network and Network Security
- 2025-02-07 Warszawa => System Architect (Java background) <=
- 2025-02-07 Warszawa => System Architect (background deweloperski w Java) <=
- 2025-02-07 Warszawa => Solution Architect (Java background) <=
- 2025-02-07 Gliwice => Ekspert IT (obszar systemów sieciowych) <=