-
X-Received: by 10.31.180.22 with SMTP id d22mr511735vkf.4.1507571221941; Mon, 09 Oct
2017 10:47:01 -0700 (PDT)
X-Received: by 10.31.180.22 with SMTP id d22mr511735vkf.4.1507571221941; Mon, 09 Oct
2017 10:47:01 -0700 (PDT)
Path: news-archive.icm.edu.pl!news.icm.edu.pl!news.nask.pl!news.nask.org.pl!news.unit
0.net!weretis.net!feeder6.news.weretis.net!feeder.usenetexpress.com!feeder-in1.
iad1.usenetexpress.com!border1.nntp.dca1.giganews.com!nntp.giganews.com!k31no47
8966qta.1!news-out.google.com!r5ni916qtc.1!nntp.google.com!k31no478962qta.1!pos
tnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: pl.comp.programming
Date: Mon, 9 Oct 2017 10:47:01 -0700 (PDT)
In-Reply-To: <6...@g...com>
Complaints-To: g...@g...com
Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=46.186.90.250;
posting-account=f7iIKQoAAAAkDKpUafc-4IXhmRAzdB5r
NNTP-Posting-Host: 46.186.90.250
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>
<c...@g...com>
<0...@g...com>
<6...@g...com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <f...@g...com>
Subject: Re: Optymalizacja struktur danych dla programów funkcyjnych
From: g...@g...com
Injection-Date: Mon, 09 Oct 2017 17:47:01 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Lines: 132
Xref: news-archive.icm.edu.pl pl.comp.programming:211595
[ ukryj nagłówki ]W dniu poniedziałek, 9 października 2017 14:25:28 UTC+2 użytkownik Maciej Sobczak
napisał:
> > W artykule jest napisane:
> [...]
>
> Nadal mamy deterministyczne strategie. Zwłaszcza ta z tworzeniem wielu kopii i
udawaniem, że jesteśmy w jednej z nich. Strategia ze zgadywaniem nie opisuje, na czym
ma zgadywanie polegać. Na domniemanym współczesnym komputerze to zgadywanie będzie
deterministyczne. Czyli wracamy do początku - a wynika to z tego, że kredą na tablicy
można sobie różne rzeczy napisać, ale krzem nie wszystko przyjmie tak samo łatwo.
Tak. Przy czym nie ma wymagania, żeby dyskutować tylko o rzeczach,
które można implementować na "domniemanym współczesnym komputerze"
> > No nie. Podałem przykład programu, który w istotny
> > sposób bazuje na losowości -- i jego działanie jako
> > takie nie jest w istocie deterministyczne
>
> Bo sobie włączyłeś tą losowość w ramy działania programu. Dla mnie to jest
zewnętrzne I/O.
Zewnętrzne I/O to jest coś zasadniczo innego od losowości.
> > Czyli Twoja argumentacja NIE ODNOSIŁA się do istoty
> > pojęcia,
>
> Co to jest "istota pojęcia"? Czy "istota programu" już nie wystarcza?
Możesz sobie poczytać np. tutaj
http://ebuw.uw.edu.pl/dlibra/docmetadata?id=122191
> > tylko do (chyba niezbyt dobrze zdefiniowanej?)
> > koncepcji "implementowalności pojęcia"
>
> Domniemując implementowalność na współczesnym komputerze, tak, pewne pojęcia mogą
mieć lub nie mieć sensu.
To, czy pojęcie ma sens, jest zagadnieniem różnym od tego,
czy da się je zaimplementować na współczesnym komputerze.
> > My, jako ludzie, chcemy, żeby kompilacja była deterministyczna,
> > bo chcemy wiedzieć, czego możemy się spodziewać po kompilatorach.
>
> Chcemy, żeby efekty uboczne były takie, jak mówi definicja języka. Reszta nas
zwykle nie interesuje i często nawet celowo jej nie dookreślamy. Np. mało kogo
interesuje stan swapa na dysku po wykonaniu programu - ta niedookreśloność pozwala
kompilatorom (czy ogólniej: systemowi uruchomieniowemu) na własną rękę podejmować
różne decyzje.
Tak. Bo stan swapa na dysku przed wykonaniem programu nie należy
w żadnej mierze do istoty kompilacji.
> > Wydaje mi się, że jednak poprawność kompilatora jest dość dobrze
> > określona.
>
> Zwykle jest celowo niedookreślona.
Poprawność kompilatora jest zazwyczaj określona przez semantykę języka
programowania (najczęściej semantykę operacyjną). Można oczywiście
stosować różne kryteria, np. obserwowalną równoważność zachowania
programu wyprodukowanego przez kompilator z tym samym programem
wykonanym przez interpreter języka. Kwestia dowodzenia poprawności
kompilatora jest interesująca i rozległa, ale samo pojęcie poprawności
kompilatora jest zupełnie jasne. Jasne jest np., że jeżeli rozważymy
wcześniej przytaczany przeze mnie program do wypisywania kwadratów liczb,
a ten program będzie po skompilowaniu wypisywał obraźliwe komunikaty
i podnosił liczby do sześcianu, to kompilator skompilował go niepoprawnie
(w świetle specyfikacji języka C).
> > to z perspektywy osób, które tworzą kompilatory, takie wymaganie
> > jest jak najbardziej na miejscu.
>
> Właśnie dla tych osób jest ważne, żeby użytkownicy pozostawili im swobodę w różnych
obszarach. Dzięki temu te osoby mogą między sobą konkurować.
Tzn. mówisz o tym, że dany fragment programu źródłowego można przekształcić
do różnych, ale równoważnych sobie (w sensie zachowania) programów. Owszem,
to jest prawda. Ale każdy kompilator jest deterministyczny (w takim sensie,
że jak kilka razy skompilujesz ten sam program źródłowy, to dostaniesz
ten sam program wynikowy)
> > Ja ze swojej strony w ogóle nie wypowiadałem się o komputerach,
> > tylko o programach.
>
> Interesujące. Ale po co takiemu bezkomputerowemu programowi kompilator? Czy
rozważania o deterministycznych kompilatorach dla programów bez komputerów nie są
trochę... przeteoretyzowaniem problemu?
Jak wspominałem, w swojej pracy proponuję model maszyny wirtualnej, który
co prawda jest działającym programem w języku Scheme, ale który można studiować
bez uruchamiania komputera -- tak naprawdę, jego wykonywalność
i implementowalność służą przede wszystkim temu, żeby zapewnić, że
w pracy nie ma błędów, i że używane w niej pojęcia są sensowne. Podobnie
kompilator nie ma znamion praktycznych, tylko ma wyjaśniać pewne ogólne
zasady, w oparciu o które funkcjonują kompilatory. Innymi słowy,
programy, które napisałem w swojej pracy, mają raczej charakter poznawczo
-dydaktyczny, niż praktyczny.
Najnowsze wątki z tej grupy
- We Wrocławiu ruszyła Odra 5, pierwszy w Polsce komputer kwantowy z nadprzewodzącymi kubitami
- Ada-Europe - AEiC 2025 early registration deadline imminent
- John Carmack twierdzi, że gdyby gry były optymalizowane, to wystarczyły by stare kompy
- Ada-Europe Int.Conf. Reliable Software Technologies, AEiC 2025
- Linuks od wer. 6.15 przestanie wspierać procesory 486 i będzie wymagać min. Pentium
- ,,Polski przemysł jest w stanie agonalnym" - podkreślił dobitnie, wskazując na brak zamówień.
- Rewolucja w debugowaniu!!! SI analizuje zrzuty pamięci systemu M$ Windows!!!
- Brednie w wiki - hasło Dehomag
- Perfidne ataki krakerów z KRLD na skrypciarzy JS i Pajton
- Instytut IDEAS może zacząć działać: "Ma to być unikalny w europejskiej skali ośrodek badań nad sztuczną inteligencją."
- Instytut IDEAS może zacząć działać: "Ma to być unikalny w europejskiej skali ośrodek badań nad sztuczną inteligencją."
- Instytut IDEAS może zacząć działać: "Ma to być unikalny w europejskiej skali ośrodek badań nad sztuczną inteligencją."
- U nas propagują modę na SI, a w Chinach naukowcy SI po kolei umierają w wieku 40-50lat
- C++. Podróż Po Języku - komentarz
- "Wuj dobra rada" z KDAB rozważa: Choosing the Right Programming Language for Your Embedded Linux Device
Najnowsze wątki
- 2025-05-30 Bieruń => Spedytor Międzynarodowy (handel ładunkami/prowadzenie flo
- 2025-05-30 Łódź => Mainframe (z/OS, Assembler) Developer <=
- 2025-05-30 Szczecin => Key Account Manager IT <=
- 2025-05-30 Wrocław => Controlling systems Consultant <=
- 2025-05-30 Żerniki => Dyspozytor Międzynarodowy <=
- 2025-05-29 Się mi gówno przykleiło
- 2025-05-30 Jeżeli ktoś rozpędza BMW na drodze publicznej do 250 km/godz. to tworzy narzędzie zbrodni
- 2025-05-29 parkowanie tyłem
- 2025-05-29 Rozmiar opony
- 2025-05-29 Warszawa => ASP.NET Developer <=
- 2025-05-29 Warszawa => Senior Account Manager <=
- 2025-05-29 Lublin => Delphi Programmer <=
- 2025-05-29 oszołomy paranoidalne
- 2025-05-28 Tani darmowy manager plików
- 2025-05-28 Gdańsk => Programista Mainframe (z/OS, Assembler) <=