-
X-Received: by 10.31.180.22 with SMTP id d22mr395178vkf.4.1507498219100; Sun, 08 Oct
2017 14:30:19 -0700 (PDT)
X-Received: by 10.31.180.22 with SMTP id d22mr395178vkf.4.1507498219100; Sun, 08 Oct
2017 14:30:19 -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!6no17
78158qtw.1!news-out.google.com!r5ni733qtc.1!nntp.google.com!6no1778156qtw.1!pos
tnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: pl.comp.programming
Date: Sun, 8 Oct 2017 14:30:18 -0700 (PDT)
In-Reply-To: <c...@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>
<b...@g...com>
<1...@g...com>
<4...@g...com>
<5...@g...com>
<e...@g...com>
<5...@g...com>
<b...@g...com>
<a...@g...com>
<e...@g...com>
<f...@g...com>
<d...@g...com>
<c...@g...com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <c...@g...com>
Subject: Re: Optymalizacja struktur danych dla programów funkcyjnych
From: Maciej Sobczak <s...@g...com>
Injection-Date: Sun, 08 Oct 2017 21:30:19 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Body-CRC: 699780798
X-Received-Bytes: 4884
Xref: news-archive.icm.edu.pl pl.comp.programming:211581
[ ukryj nagłówki ]> > Słabe. Oba pojęcia to twory czysto teoretyczne, których nie ma nawet jak
zaimplementować.
>
> Masz jakąś szerszą wiedzę na ten temat?
Podałeś linka a tam jest to opisane. Następnym razem podaj takiego linka, z którym
będziesz się zgadzał.
> Z punktu widzenia dyskusji istotna jest kwestia, czy pojęcie
> jest dobrze zdefiniowane.
Bingo. Właśnie tego się od początku czepiam. :-)
> Czy pisząc "początkowy wątek" masz na myśli Twoją niezgodę
> na moje stwierdzenie, że "kompilator jest w istocie programem
> czysto funkcyjnym"?
Tak.
> Jeśli tak, to nie oddalam się ani o jotę, bo w owym stwierdzeniu
> nie ma ABSOLUTNIE NIC o "naszych komputerach".
I teraz jesteśmy bliżej, bo mamy dokładniej zdefiniowany kontekst.
> Stwierdzenie owo jest równoważne powiedzeniu, że kompilator
> jest zasadniczo rodzajem deterministycznego przekształcenia,
> i nie wydaje mi się przesadnie kontrowersyjne.
Ale dlaczego ma nie być kontrowersyjne? Przecież może być wiele sposobów na
kompilację (sam fakt, że jest wiele kompilatorów popularnych języków już na to
wskazuje, nie mówiąc o ich różnych opcjach), więc nie ma powodu twierdzić, że
kompilacja musi być deterministyczna.
Problem jest tutaj w kryterium poprawności. O ile funkcja square ma dosyć dobrze
określone takie kryterium i w zasadzie to kryterium powoduje, że funkcja square
będzie deterministyczna (bo inny wynik dla tego samego argumentu będzie uznany za
niepoprawny), to poprawność kompilatora nie jest tak dobrze określona. Stąd też
mnogość kompilatorów. Stąd też brak wymagania na to, żeby kompilator był
deterministyczny. A skoro nie musi być deterministyczny, to nie ma powodu przypisywać
mu cechy bycia "czysto funkcyjnym".
Ot, takie zabawy z definicjami. :-)
> Tobie się ono nie spodobało -- jak zrozumiałem -- z tego wględu,
> że według Ciebie każdy program jest rodzajem deterministycznego
> przekształcenia
Tak. Na domniemanych współczesnych komputerach. Możemy od nich odejść, ale jeśli mamy
przy nich pozostać, to trzymam się determinizmu.
--
Maciej Sobczak * http://www.inspirel.com
Następne wpisy z tego wątku
- 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 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) <=
- 2024-04-29 Gdańsk => Kierownik Działu Spedycji Międzynarodowej <=
- 2024-04-29 Ulm => IT Network Engineer <=
- 2024-04-29 Gdańsk => UX/UI Designer <=
- 2024-04-29 Gdańsk => AI Specialist <=
- 2024-04-29 frankowicze odcinek NNN
- 2024-04-29 Warszawa => Specjalista ds. Cyberbezpieczeństwa <=
- 2024-04-29 Kraków => MS Dynamics 365BC/NAV Developer <=
- 2024-04-29 Zielona Góra => Inżynier R&D Energoelektronik <=
- 2024-04-29 Warszawa => Google Ads Freelancer <=
- 2024-04-28 wymiana przewodu od licznika do mieszkania
- 2024-04-28 Lustra w maszynie ASML