-
Data: 2014-01-19 02:02:25
Temat: Re: generowanie programow
Od: g...@g...com szukaj wiadomości tego autora
[ pokaż wszystkie nagłówki ]W dniu sobota, 18 stycznia 2014 23:36:27 UTC+1 użytkownik A. L. napisał:
> >Mam nadzieje, ze to odpowiada na Twoje pytanie.
>
> Tak.
>
> To co napiales pozyzej to komplenta bzdura
W jakim sensie jest to kompletna bzdura?
Albo: co z tego, co napisalem, jest kompletna bzdura
i dlaczego?
Rzecz w tym, ze odpowiedzi w rodzaju takich, ktore
mi udzielasz (np. "to jest kompletna bzdura", albo
"Gosciu, czy ty kiedys programwoales profesjonalnie,
czy tylk oze sluchu?") nie sa dla mnie szczegolnie
informatywne, i jezeli masz odpowiadac w taki sposob,
to rownie dobrze mozesz darowac sobie wypowiedz.
Nie interesuja mnie stwierdzenia, za ktorymi nie
stoja jakies wyjasnienia czy argumenty, poniewaz
cel wypowiadania takich stwierdzen raczej nie jest
merytoryczny, tylko erystyczny.
Dla mnie sens tego, co napisalem, wydaje sie
dosc oczywisty. Moze warto by to bylo zilustrowac
przykladem. Zeby nie szukac daleko, posluze sie tym
pochodzacym od autorow prezentacji.
Funkcyjna, rekurencyjna definicja funkcji "append"
w lispie, sklejajaca ze soba dwie listy, wyglada
nastepujaco
(define (append l s)
(cond
((null? l) s)
(else (cons (car l) (append (cdr l) s)))))
na przyklad
(append '(1 2 3) '(4 5)) zwroci (1 2 3 4 5)
Funkcje te mozna przepisac do systemu programowania
w logice "kanren" wedlug zarysowanej powyzej metody,
uzyskujac nastepujacy kod:
(define (appendo l s out)
(conde
((== '() l) (== s out))
((fresh (a d res)
(== `(,a . ,d) l)
(== `(,a . ,res) out)
(appendo d s res)))))
gdzie == jest operatorem unifikacji, fresh sluzy
do wprowadzania nowych zmiennych, zas conde jest
kanrenowym odpowiednikiem operatora cond.
Nie przedstawiam tutaj szczegolowo semantyki
kanrena, bo po pierwsze sam jej dobrze nie znam,
a po drugie caly proces jest wyjasniony w prezentacji.
Istotne jest to, ze majac tak zdefiniowana funkcje,
mozna uruchomic ja w kanrenowym unifikatorze, w
nastepujace sposoby:
(run* (q) (appendo '(a b c) '(d e) q))
zwroci
(a b c d e)
ale rowniez mozna unifikowac "od tylu":
(run* (q) (appendo '(a b c) q '(a b c d e)))
da nam
(d e)
itd.
Skladnia moze nie jest tak elegancka, jak
w prologu, poniewaz unifikacja jest dokonywana
w jawny sposob, ale dla osoby znajacej podstawy
lispa sens powinien byc mniej wiecej do
uchwycenia, nawet jesli moze miec klopot
ze szczegolami.
[...] przepisac program napisany
> > >w stylu funkcyjnym na "program w logice"
> > >(poprzez dopisanie dodatkowego argumentu,
> > >majacego reprezentowac wynik),
>
> Chodzi o to w jaki sposob "dopisanie argumentu"
> nagle powoduje ze mamy "program w logice"
OK, rozumiem, o co chodzi. Jezeli idzie o to
wyjasnienie, to oczywiscie dopisanie dodatkowego
argumentu nie jest warunkiem dostatecznym, ale jest
(dla przyjetej przez autorow metody) warunkiem
koniecznym. Nie opisywalem tego procesu w calosci,
poniewaz to jest zawarte w prezentacji, zas moim
celem bylo jedynie zarysowanie tego, co tam sie
dzieje, zeby grupowicze mogli ocenic, czy temat
jest dla nich interesujacy, i ewentualnie obejrzec.
Jezeli dla Ciebie nie jest, to ja nie mam z tym
problemu.
Następne wpisy z tego wątku
- 19.01.14 02:45 g...@g...com
- 19.01.14 10:25 firr
- 19.01.14 10:44 firr
- 19.01.14 10:48 firr
- 22.01.14 10:35 firr
- 22.01.14 11:27 g...@g...com
- 22.01.14 11:29 g...@g...com
- 22.01.14 11:40 firr
- 22.01.14 12:10 firr
Najnowsze wątki z tej grupy
- 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
- Nowa ustawa o ochronie praw autorskich - opis problemu i szkic ustawy
- Alg. kompresji LZW
- Popr. 14. Nauka i Praca Programisty C++ w III Rzeczy (pospolitej)
- Arch. Prog. Nieuprzywilejowanych w pełnej wer. na nowej s. WWW energokod.pl
- 7. Raport Totaliztyczny: Sprawa Qt Group wer. 424
- TCL - problem z escape ostatniego \ w nawiasach {}
- Nauka i Praca Programisty C++ w III Rzeczy (pospolitej)
- testy-wyd-sort - Podsumowanie
- Tworzenie Programów Nieuprzywilejowanych Opartych Na Wtyczkach
- Do czego nadaje się QDockWidget z bibl. Qt?
- Bibl. Qt jest sztucznie ograniczona - jest nieprzydatna do celów komercyjnych
- Co sciaga kretynow
Najnowsze wątki
- 2025-04-17 Warszawa => Team Lead Data Engineer (obszar Snowflake) <=
- 2025-04-17 Cła Trumpa już w sądzie federalnym USA
- 2025-04-16 Jaki trojfazowy licznik tuya lub podobny?
- 2025-04-16 co ile czasu rysa?
- 2025-04-16 co ile czasu rysa?
- 2025-04-16 cytat: "Za prezydentury Władimira Putina co najmniej 37 dziennikarzy zostało zamordowanych z powodu swojej pracy."
- 2025-04-16 Przyczyny
- 2025-04-16 Re: "Wazelina": Donald Tusk trzęsie giełdą jak mały Donald Trump [do -9%]
- 2025-04-16 Motodziennik #322 Audi Q9, Omoda 3, MG Cyber X - oraz koniec Leapmotor, Citana oraz auto od Amazona
- 2025-04-16 Do sądu trafił pozew zbiorowy przeciw Google'owi - oskarżenie o praktyki monopolistyczne na rynku reklamy internetowej
- 2025-04-16 Francja: "Za mało pracujemy, za dużo wydajemy" - a pierwsi chcieli pracować 4/7 !!!
- 2025-04-16 To już koniec 30letniej firmy Ekolot z Krosna - to kolejna ofiara urzędników
- 2025-04-16 To już koniec 30letniej firmy Ekolot z Krosna - to kolejna ofiara urzędników
- 2025-04-16 Francja: "Za mało pracujemy, za dużo wydajemy" - a pierwsi chcieli pracować 4/7 !!!
- 2025-04-16 Polska na 3 miejscu pod względem inflacji w UE!!!