eGospodarka.pl
eGospodarka.pl poleca

eGospodarka.plGrupypl.comp.programmingOptymalizacja struktur danych dla programów funkcyjnych › Re: Optymalizacja struktur danych dla programów funkcyjnych
  • 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

Podziel się

Poleć ten post znajomemu poleć

Wydrukuj ten post drukuj


Następne wpisy z tego wątku

Najnowsze wątki z tej grupy


Najnowsze wątki

Szukaj w grupach

Eksperci egospodarka.pl

1 1 1

Wpisz nazwę miasta, dla którego chcesz znaleźć jednostkę ZUS.

Wzory dokumentów

Bezpłatne wzory dokumentów i formularzy.
Wyszukaj i pobierz za darmo: