Re: Optymalizacja struktur danych dla programów funkcyjnych

eGospodarka.pl › Grupy › pl.comp.programming › Optymalizacja struktur danych dla programów funkcyjnych › Re: Optymalizacja struktur danych dla programów funkcyjnych

X-Received: by 10.31.180.22 with SMTP id d22mr681909vkf.4.1506946838594; Mon, 02 Oct
2017 05:20:38 -0700 (PDT)
X-Received: by 10.31.180.22 with SMTP id d22mr681909vkf.4.1506946838594; Mon, 02 Oct
2017 05:20:38 -0700 (PDT)
Path: news-archive.icm.edu.pl!news.icm.edu.pl!news.nask.pl!news.nask.org.pl!news.unit
0.net!peer03.am4!peer.am4.highwinds-media.com!peer01.fr7!futter-mich.highwinds-
media.com!peer01.iad!feed-me.highwinds-media.com!news.highwinds-media.com!d13no
241045qta.0!news-out.google.com!p42ni1620qtp.0!nntp.google.com!d13no241044qta.0
!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: pl.comp.programming
Date: Mon, 2 Oct 2017 05:20:38 -0700 (PDT)
In-Reply-To: <b...@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>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <d...@g...com>
Subject: Re: Optymalizacja struktur danych dla programów funkcyjnych
From: Maciej Sobczak <s...@g...com>
Injection-Date: Mon, 02 Oct 2017 12:20:38 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Body-CRC: 2596971642
X-Received-Bytes: 2263
Xref: news-archive.icm.edu.pl pl.comp.programming:211549
[ ukryj nagłówki ]
> (Warto zwrócić uwagę, że kompilator
> w istocie rzeczy jest programem czysto funkcyjnym,

Nie, nie jest. I w ogóle co to miałoby znaczyć - "czysto funkcyjnym"? Kompilator ma
wyprodukować wyjście na podstawie wejścia. Każdy program tak robi - czy każdy program
jest "czysto funkcyjny"?

> nawet jeśli
> często nie jest w taki sposób implementowany).

Nie jest w taki sposób implementowany, bo w istocie rzeczy nie jest czysto funkcyjny
(cokolwiek to znaczy). Co ogólnie rozszerza moją niedawną tezę, że metody kojarzone z
językami funkcjonalnymi są nienaturalne.
(Co nie znaczy, że są nieużyteczne.)

--
Maciej Sobczak * http://www.inspirel.com