-
Data: 2017-10-05 18:58:39
Temat: Re: Optymalizacja struktur danych dla programów funkcyjnych
Od: g...@g...com szukaj wiadomości tego autora
[ pokaż wszystkie nagłówki ]W dniu czwartek, 5 października 2017 13:48:58 UTC+2 użytkownik Maciej Sobczak
napisał:
> > > Ale nie ustaliliśmy jeszcze, co to znaczy, że program jest czysto funkcyjny.
> >
> > Z tego co patrzę na historię tej rozmowy, ustaliliśmy to na dość
> > wczesnym etapie.
>
> Bez przesady. Nawet nie podałeś definicji, tylko przykład, z którym ja się nie
zgodziłem. To mi się nie kwalifikuje jako "ustaliliśmy".
Pozwolę sobie wkleić:
W dniu poniedziałek, 2 października 2017 14:20:39 UTC+2 użytkownik Maciej Sobczak
napisał:
> > (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"?
Miałoby znaczyć tyle, że dla danego wejścia daje zawsze to samo wyjście.
(koniec cytatu)
> Ogólnie, oodwoływanie się do takich pojęć jak "istota czegoś" jest trochę...
nieinżynierskie.
Owszem. Ale dlaczego miałoby to być problemem?
> > Problem polega na tym, że mylisz w tej chwili istotę programu
>
> No i znowu ta istota. Z ciekawości wpisałem w wyszukiwarkę i... nic. Ani w
wikipedii, ani nigdzie indziej. Po angielsku to pewnie "the essence of the program"
i... znowu nic.
>
> Skoro to pojęcie nigdzie nie jest zdefiniowane i nikt go w branży nie używa, to
chyba nie świadczy o mnie bardzo źle, że *nadal* nie rozumiem, o co konkretnie
chodzi?
Stwierdzenie, że kompilator jest w istocie programem czysto funkcyjnym
oznacza tyle, że kompilacja jest rodzajem transformacji (przekształcenia).
> > Owszem, każdy program można analizować przy pomocy pojęcia funkcji,
> > albo przy pomocy pojęcia maszyny stanu, albo czegoś jeszcze innego.
>
> Tak. Dlatego pojęcie "czysto funkcyjny" nie ma sensu.
Ma dokładnie taki sens, jak powiedziałem.
> > Projektanci kompilatorów muszą zwracać
> > uwagę na zupełnie inne rzeczy, niż projektanci gier komputerowych albo
> > stron internetowych, po w pierwszym przypadku kluczowy jest wynik, a w
> > pozostałych -- interakcja.
>
> Tak, i stosuje się różne metody do optymalizacji tych różnych celów. Ale nic nie
jest "czyste", bo bez interakcji nie da się pobrać danych ani podać wyników a bez
wyniku interakcja jest bezcelowa - a przez proste zmiany w formacie i sposobie
uruchomienia można zmienić jeden rodzaj programu w drugi. I o braku tej "czystości"
właśnie tu piszę.
Piszesz błędnie.
Jeżeli mamy np. program
int square(int x) {
return x*x;
}
void main(int argc, char *argv[]) {
assert(argc > 1);
int n = atoi(argv[1]);
printf("kwadrat liczby %d wynosi %d\n", n, square(n));
}
to square jest czystą funkcją.
Następne wpisy z tego wątku
- 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
- 08.10.17 23:30 Maciej Sobczak
- 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
- 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
- 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?
Najnowsze wątki
- 2024-05-09 Dla Kfiata i Olina tzw. prawo międzynarodowe
- 2024-05-08 Osoby które znają informacje tajne
- 2024-05-08 doprowadzenie przymusowe świadka
- 2024-05-08 Opel? Ale jaki Opel?? A może nie Opel?
- 2024-05-08 Znów czary (albo niewiedza) - tym razem fotowoltaika
- 2024-05-08 Chess
- 2024-05-08 Gruby pasożyt nasyła tajną policję na aktywistę z Rzeszy działającego w SZAP!
- 2024-05-08 Chess
- 2024-05-08 IZERA - A może jedna Tusk nie ZDOŁA tego ZAORAĆ
- 2024-05-08 Vitruvian Man - parts 7-11a
- 2024-05-08 Vitruvian Man - parts 7-11a
- 2024-05-08 Warszawa => Interactive/Experience Designer <=
- 2024-05-08 Koniecznie potrzebuję kampera...
- 2024-05-08 Gorzów Wielkopolski => Consultant/Implementer Comarch ERP XL <=
- 2024-05-08 => Solution Architect (secure communication and IoT solutions) <=