Thread View: pl.comp.objects
5 messages
5 total messages
Started by Michal Przybylek
Tue, 15 Nov 2005 11:15
Kontynuacje
Author: Michal Przybylek
Date: Tue, 15 Nov 2005 11:15
Date: Tue, 15 Nov 2005 11:15
27 lines
2185 bytes
2185 bytes
Znowoz przeprowadzilem troszke wywiadu z madrymi ludzmi. Wyszlo na to, ze moje sformuowanie "kontynuacja wyrazenia, to to, co zostalo do policzenia po policzeniu danego wyrazenia" jest, w zasadzie jedynym sensownym sposobem mowienia o kontynuacjach. Oczywiscie, nieprecyzyjnym, nie wiadomo w ogolnosci co to jest "wyrazenie" i co oznacza "policzenie", ale kontynuacje sa ze swej natury nierozerwalnie zwiazane z _konkrena_ semantyka _konkretnego_ jezyka (lapia za "przeplyw sterowania"), ciezko sie spodziewac, ze o kontynuacjach da sie opowiedziec "ogolnie". Mozna probowac zbudowac teorie obliczen, w ktorej pojecie kontynuacji bedzie precyzyjnie wyrazalne. W pewnym sensie jezeli na "obliczenia" bedziemy patrzec jak na morfizmy pewnej kategorii, to znaczenie pojecia kontynuacji da nam wlasnie monada kontynuacji (monade kontynuacji definiuje sie dla dowolnej kategorii kartezjansko domknietej). Jest to opisane np. w pracy Eugenio Moggi "Computational lambda-calculus and monads", dostepnej takze on-line. Przy czym radze w ogole sie tym nie przejmowac. Znacznie prosciej pobelkotac sobie cos o "wskaznikach", "stosach" i takich tam (co, przy okazji, jest stokroc mniej precyzyjne od mojego sformuowania wyzej) i zalozyc, ze sie rozumow najadlo i we wszystkim ma sie racje... mp
Re: Kontynuacje
Author: Marcin 'Qrczak' Kowalczyk
Date: Tue, 15 Nov 2005 11:48
Date: Tue, 15 Nov 2005 11:48
13 lines
1624 bytes
1624 bytes
"Michal Przybylek" <mrp@neostrada.pl> writes:
> Jest to opisane np. w pracy Eugenio Moggi "Computational
> lambda-calculus and monads", dostepnej takze on-line.
Jeśli to ta praca, która wprowadziła monady do kontekstu języków
programowania, to dopiero Philip Wadler potrafił opisać je tak,
że normalni ludzie to zrozumieli :-)
--
__("< Marcin Kowalczyk
\__/ qrczak@knm.org.pl
^^ http://qrnik.knm.org.pl/~qrczak/
Re: Kontynuacje
Author: Zbyszek Malec
Date: Tue, 15 Nov 2005 11:55
Date: Tue, 15 Nov 2005 11:55
13 lines
1228 bytes
1228 bytes
Marcin 'Qrczak' Kowalczyk wrote (tak! stara dobra wrotka!): > Jeśli to ta praca, która wprowadziła monady do kontekstu języków > programowania, to dopiero Philip Wadler potrafił opisać je tak, > że normalni ludzie to zrozumieli :-) A skąd można wziąć wersję dla ludzi? Bo ja nie bardzo te monady rozumiem :D Chodzi może o to? http://homepages.inf.ed.ac.uk/wadler/topics/monads.html -- Zbigniew Malec Ustronie:104 gg:2756100
Re: Kontynuacje
Author: Michal Przybylek
Date: Tue, 15 Nov 2005 12:49
Date: Tue, 15 Nov 2005 12:49
35 lines
2576 bytes
2576 bytes
"Marcin 'Qrczak' Kowalczyk" <qrczak@knm.org.pl> wrote: > > Jest to opisane np. w pracy Eugenio Moggi "Computational > > lambda-calculus and monads", dostepnej takze on-line. > > Jeśli to ta praca, która wprowadziła monady do kontekstu języków > programowania, to dopiero Philip Wadler potrafił opisać je tak, > że normalni ludzie to zrozumieli :-) Dwa lata temu rozmawialem z jednym kategorysta - mowil, ze kiedy probowal wytlumaczyc pojecie monady informatykom, to czul, ze to dlaczego w jego strone nie leca pomidory i jajka, jest spowodowane wylacznie tym, ze studenci nie przygotowali sie na zaistniala sytuacje :-) Chyba glowny problem jest w sposobie myslenia. Ludzie wychowani sa na teorii zbiorow, lubia myslec o "elementach" jako o czyms pierwotnym, a "przeksztalceniach" jako o czyms definiowanym na "elementach". W CT mysli sie o "przeksztalceniach" jako o czyms pierwotnym, a o "elementach" jako o czyms "wtornym". Moze to wydawac sie na poczatku dziwne, ale wlasnie podejscie kategoryjne jest tym "naturalnym" podejsciem. Osobiscie, nie znam jakiejkolwiek innej teorii choc w polowie tak regularnej, w ktorej wszystko wychodzi tak naturalnie jak w CT. Moj wykladowca z CT mawial, ze CT jest jak klocki Lego - tam wszystko co poprawnie skaldane, zawsze musi do siebie idealnie pasowac. Niektorzy twierdza, ze to, co pochodzi od Boga, jest piekne i proste, ze swiat jest prosty, a tylko to my, ludzie - istototy ograniczone, opisuja swiat w sposob niedoskonaly i przez to opis mocno nam owy swiat komplikuje. W tym sensie teoria kategorii pochodzi od Boga :-) mp
Re: Kontynuacje
Author: Michal Przybylek
Date: Tue, 15 Nov 2005 15:30
Date: Tue, 15 Nov 2005 15:30
15 lines
1399 bytes
1399 bytes
"Marcin 'Qrczak' Kowalczyk" <qrczak@knm.org.pl> wrote: > > Jest to opisane np. w pracy Eugenio Moggi "Computational > > lambda-calculus and monads", dostepnej takze on-line. > > Jeśli to ta praca, która wprowadziła monady do kontekstu > języków programowania Tego nie wiem. W kazdym razie ta praca _nie_ jest o monadach. Ta praca jest o monadycznym podejsciu do opisu semantyki. mp
Thread Navigation
This is a paginated view of messages in the thread with full content displayed inline.
Messages are displayed in chronological order, with the original post highlighted in green.
Use pagination controls to navigate through all messages in large threads.
Back to All Threads