Thread View: pl.comp.objects
30 messages
30 total messages
Started by tomecki12345
Mon, 26 Mar 2007 15:11
Teoria obiektowości - gdzie szukać?
Author: tomecki12345
Date: Mon, 26 Mar 2007 15:11
Date: Mon, 26 Mar 2007 15:11
6 lines
1457 bytes
1457 bytes
Witam, Spotkałem się już kilka krotnie z terminem "teoria obiektowości" ale tylko z nim, nie mogę znaleźć żadnych książek ani materiałów dotyczących tej teorii. Może szukam pod złym hasłem. Mogli byście polecić mi jakieś książki, strony dotyczące tematu?
Re: Teoria obiektowości - gdzie szukać?
Author: Grzesiek G.
Date: Mon, 26 Mar 2007 15:31
Date: Mon, 26 Mar 2007 15:31
17 lines
1481 bytes
1481 bytes
tomecki12345@o2.pl napisał(a): > Witam, > > Spotkałem się już kilka krotnie z terminem "teoria obiektowości" ale > tylko z nim, nie mogę znaleźć żadnych książek ani materiałów > dotyczących tej teorii. Może szukam pod złym hasłem. Mogli byście > polecić mi jakieś książki, strony dotyczące tematu? > Jeśli chodzi o obiektowość od strony programisty to polecam: B.Meyer - Programowanie zorientowane obiektowo (http://helion.pl/ksiazki/prozor.htm). Pozdrawiam -- Grzesiek G. Odpowiadając usuń spamerom_nie z adresu
Re: Teoria obiektowości - gdzie szukać?
Author: Piotr Dembiński
Date: Mon, 26 Mar 2007 15:45
Date: Mon, 26 Mar 2007 15:45
11 lines
1361 bytes
1361 bytes
tomecki12345@o2.pl writes: > Witam, > > Spotkałem się już kilka krotnie z terminem "teoria obiektowości" ale > tylko z nim, nie mogę znaleźć żadnych książek ani materiałów > dotyczących tej teorii. Może szukam pod złym hasłem. Mogli byście > polecić mi jakieś książki, strony dotyczące tematu? ZTCW to nie ma czegoś takiego jak teoria obiektowości. Podobno są próby określenia semantyki dla OOP w ramach rachunku lambda.
Re: Teoria obiektowości - gdzie szukać?
Author: Segmentation Fault
Date: Mon, 26 Mar 2007 15:47
Date: Mon, 26 Mar 2007 15:47
15 lines
1515 bytes
1515 bytes
Piotr Dembiński wrote: > tomecki12345@o2.pl writes: > >> Witam, >> >> Spotkałem się już kilka krotnie z terminem "teoria obiektowości" ale >> tylko z nim, nie mogę znaleźć żadnych książek ani materiałów >> dotyczących tej teorii. Może szukam pod złym hasłem. Mogli byście >> polecić mi jakieś książki, strony dotyczące tematu? > > ZTCW to nie ma czegoś takiego jak teoria obiektowości. Podobno są > próby określenia semantyki dla OOP w ramach rachunku lambda. Może chodzi o rachunek sigma?
Re: Teoria obiektowości - gdzie szukać?
Author: Piotr Dembiński
Date: Mon, 26 Mar 2007 15:54
Date: Mon, 26 Mar 2007 15:54
15 lines
1510 bytes
1510 bytes
pdemb@gazeta.pl (Piotr Dembiński) writes: > tomecki12345@o2.pl writes: > >> Witam, >> >> Spotkałem się już kilka krotnie z terminem "teoria obiektowości" >> ale tylko z nim, nie mogę znaleźć żadnych książek ani materiałów >> dotyczących tej teorii. Może szukam pod złym hasłem. Mogli byście >> polecić mi jakieś książki, strony dotyczące tematu? > > ZTCW to nie ma czegoś takiego jak teoria obiektowości. Podobno są > próby określenia semantyki dla OOP w ramach rachunku lambda. Acha, jeśli szukać, to pewnie na lambda-the-ultimate.
Re: Teoria obiektowości - gdzie szukać?
Author: Piotr Dembiński
Date: Mon, 26 Mar 2007 19:29
Date: Mon, 26 Mar 2007 19:29
19 lines
1590 bytes
1590 bytes
Segmentation Fault <coredumpWYKASUJ@onet.eu> writes: > Piotr Dembiński wrote: >> tomecki12345@o2.pl writes: >> >>> Witam, >>> >>> Spotkałem się już kilka krotnie z terminem "teoria obiektowości" >>> ale tylko z nim, nie mogę znaleźć żadnych książek ani materiałów >>> dotyczących tej teorii. Może szukam pod złym hasłem. Mogli byście >>> polecić mi jakieś książki, strony dotyczące tematu? >> >> ZTCW to nie ma czegoś takiego jak teoria obiektowości. Podobno są >> próby określenia semantyki dla OOP w ramach rachunku lambda. > > > Może chodzi o rachunek sigma? six sigma?
Re: Teoria obiektowości - gdzie szukać?
Author: Segmentation Fault
Date: Mon, 26 Mar 2007 19:38
Date: Mon, 26 Mar 2007 19:38
24 lines
1900 bytes
1900 bytes
Piotr Dembiński wrote: > Segmentation Fault <coredumpWYKASUJ@onet.eu> writes: > >> Piotr Dembiński wrote: >>> tomecki12345@o2.pl writes: >>> >>>> Witam, >>>> >>>> Spotkałem się już kilka krotnie z terminem "teoria obiektowości" >>>> ale tylko z nim, nie mogę znaleźć żadnych książek ani materiałów >>>> dotyczących tej teorii. Może szukam pod złym hasłem. Mogli byście >>>> polecić mi jakieś książki, strony dotyczące tematu? >>> ZTCW to nie ma czegoś takiego jak teoria obiektowości. Podobno są >>> próby określenia semantyki dla OOP w ramach rachunku lambda. >> >> Może chodzi o rachunek sigma? > > six sigma? nie ;) http://wazniak.mimuw.edu.pl/index.php?title=Paradygmaty_programowania/Wyk%C5%82ad_9:_U_podstaw_programowania_obiektowego_%E2%80%94_rachunek_sigma (dziwne, nie ma w wikipedii ?? )
Re: Teoria obiektowości - gdzie szukać?
Author: Piotr Dembiński
Date: Mon, 26 Mar 2007 19:54
Date: Mon, 26 Mar 2007 19:54
32 lines
2071 bytes
2071 bytes
pdemb@gazeta.pl (Piotr Dembiński) writes: > Segmentation Fault <coredumpWYKASUJ@onet.eu> writes: > >> Piotr Dembiński wrote: >>> tomecki12345@o2.pl writes: >>> >>>> Witam, >>>> >>>> Spotkałem się już kilka krotnie z terminem "teoria obiektowości" >>>> ale tylko z nim, nie mogę znaleźć żadnych książek ani materiałów >>>> dotyczących tej teorii. Może szukam pod złym hasłem. Mogli byście >>>> polecić mi jakieś książki, strony dotyczące tematu? >>> >>> ZTCW to nie ma czegoś takiego jak teoria obiektowości. Podobno są >>> próby określenia semantyki dla OOP w ramach rachunku lambda. >> >> >> Może chodzi o rachunek sigma? > > six sigma? Tak, rachunek sigma. Prawdopodobnie właśnie o tym słyszałem. Tak z własnych dociekań: w niektórych podejściach (m.in. Projekt Demeter) traktuje się klasy jako gramatyki pewnych języków. Co do rachunku sigma, to czy przypadkiem nie narzuca on istnienia systemu typów i czy na pewno system typów jest tutaj konieczny? -- http://www.piotr.dembiński.prv.pl
Re: Teoria obiektowości - gdzie szukać?
Author: Segmentation Fault
Date: Mon, 26 Mar 2007 20:29
Date: Mon, 26 Mar 2007 20:29
37 lines
2532 bytes
2532 bytes
Piotr Dembiński wrote: > pdemb@gazeta.pl (Piotr Dembiński) writes: > >> Segmentation Fault <coredumpWYKASUJ@onet.eu> writes: >> >>> Piotr Dembiński wrote: >>>> tomecki12345@o2.pl writes: >>>> >>>>> Witam, >>>>> >>>>> Spotkałem się już kilka krotnie z terminem "teoria obiektowości" >>>>> ale tylko z nim, nie mogę znaleźć żadnych książek ani materiałów >>>>> dotyczących tej teorii. Może szukam pod złym hasłem. Mogli byście >>>>> polecić mi jakieś książki, strony dotyczące tematu? >>>> ZTCW to nie ma czegoś takiego jak teoria obiektowości. Podobno są >>>> próby określenia semantyki dla OOP w ramach rachunku lambda. >>> >>> Może chodzi o rachunek sigma? >> six sigma? > > Tak, rachunek sigma. Prawdopodobnie właśnie o tym słyszałem. > > Tak z własnych dociekań: w niektórych podejściach (m.in. Projekt > Demeter) traktuje się klasy jako gramatyki pewnych języków. > > Co do rachunku sigma, to czy przypadkiem nie narzuca on istnienia > systemu typów i czy na pewno system typów jest tutaj konieczny? > Nie wiem zbyt wiele na ten temat. Trafiłem tam kiedyś przypadkowo. Z tego co napisali na stronie wynika, że nie ma tam typów. Tylko zbiory metod i operacje wywołania metody i zamiany na inną. Piszą o nietypowalnym, więc pewnie istnieje dla niego jakaś teoria z typami. W wikipedii cisza, google też niewiele zwraca, coś dziwny ten rachunek ;)
Re: Teoria obiektowości - gdzie szukać?
Author: Piotr Dembiński
Date: Mon, 26 Mar 2007 21:39
Date: Mon, 26 Mar 2007 21:39
28 lines
2135 bytes
2135 bytes
Segmentation Fault <coredumpWYKASUJ@onet.eu> writes: [...] >> Co do rachunku sigma, to czy przypadkiem nie narzuca on istnienia >> systemu typów i czy na pewno system typów jest tutaj konieczny? >> > > Nie wiem zbyt wiele na ten temat. Trafiłem tam kiedyś > przypadkowo. Z tego co napisali na stronie wynika, że nie ma tam > typów. Tylko zbiory metod i operacje wywołania metody i zamiany na > inną. Piszą o nietypowalnym, więc pewnie istnieje dla niego jakaś > teoria z typami. > > W wikipedii cisza, google też niewiele zwraca, coś dziwny ten > rachunek ;) Na stronie, którą podałeś/podałaś jest napisane, że rachunek został opracowany w latach 90. ubiegłego wieku. Czas upowszechnienia się idei, nad którą pracują naukowcy, wśród praktyków wynosi około dwudziestu lat. Wikipedia jest tworzona przez społeczność praktyków, a nie przez specjalistów. Nawiasem mówiąc to bardzo ładnie ze strony UW, że udostępnia materiały dydaktyczne na swoich stronach WWW. -- http://www.piotr.dembiński.prv.pl
Re: Teoria obiektowości - gdzie szukać?
Author: tomecki12345
Date: Tue, 27 Mar 2007 09:51
Date: Tue, 27 Mar 2007 09:51
4 lines
1659 bytes
1659 bytes
Jeśli nie ma więc czegoś takiego jak teoria obiektowości, to czemu też się spotkałem z opisami w stylu że jakiś język nie spełnia wszystkich cech obiektowości itp. może to jakoś inaczej się nazywa, nie jest "obiektowość" jakoś ustandaryzowana?
Re: Teoria obiektowości - gdzie szukać?
Author: Grzesiek G.
Date: Tue, 27 Mar 2007 11:06
Date: Tue, 27 Mar 2007 11:06
19 lines
1679 bytes
1679 bytes
tomecki12345@o2.pl napisał(a): > Jeśli nie ma więc czegoś takiego jak teoria obiektowości, to czemu też > się spotkałem z opisami w stylu że jakiś język nie spełnia wszystkich > cech obiektowości itp. Cechy obiektowości zostały nie raz już praktycznie opisane. może to jakoś inaczej się nazywa, nie jest > "obiektowość" jakoś ustandaryzowana? > Obiektowość nie jest ustandaryzowana. Pozdrawiam -- Grzesiek G. Odpowiadając usuń spamerom_nie z adresu
Re: Teoria obiektowości - gdzie szukać?
Author: Piotr Dembiński
Date: Tue, 27 Mar 2007 11:21
Date: Tue, 27 Mar 2007 11:21
14 lines
1578 bytes
1578 bytes
tomecki12345@o2.pl writes: > Jeśli nie ma więc czegoś takiego jak teoria obiektowości, Jest, i to wiele. > to czemu też się spotkałem z opisami w stylu że jakiś język nie > spełnia wszystkich cech obiektowości itp. może to jakoś inaczej się > nazywa, nie jest "obiektowość" jakoś ustandaryzowana? No właśnie wygląda na to, że nie jest ustandaryzowana. -- http://www.piotr.dembiński.prv.pl
Re: Teoria obiektowości - gdzie szukać?
Author: Piotr Dembiński
Date: Tue, 27 Mar 2007 11:44
Date: Tue, 27 Mar 2007 11:44
12 lines
1650 bytes
1650 bytes
"Grzesiek G." <gruza@spamerom_nie.priv4.onet.pl> writes: > tomecki12345@o2.pl napisał(a): >> Jeśli nie ma więc czegoś takiego jak teoria obiektowości, to czemu >> też się spotkałem z opisami w stylu że jakiś język nie spełnia >> wszystkich cech obiektowości itp. > > > Cechy obiektowości zostały nie raz już praktycznie opisane. Yup, na różne sposoby. Ale nadal istnieją podstawowe różnice w samej semantyce przynależących do OOP relacji.
Re: Teoria obiektowości - gdzie szukać?
Author: Piotr Dembiński
Date: Tue, 27 Mar 2007 12:50
Date: Tue, 27 Mar 2007 12:50
12 lines
1764 bytes
1764 bytes
"Grzesiek G." <gruza@spamerom_nie.priv4.onet.pl> writes: > tomecki12345@o2.pl napisał(a): >> Jeśli nie ma więc czegoś takiego jak teoria obiektowości, to czemu >> też się spotkałem z opisami w stylu że jakiś język nie spełnia >> wszystkich cech obiektowości itp. > > > Cechy obiektowości zostały nie raz już praktycznie opisane. Yup, na różne sposoby. Ale nadal istnieją pomiędzy poszczególnymi opisami podstawowe różnice w semantyce kluczowych dla OOP relacji.
Re: Teoria obiektowości - gdzie szukać?
Author: tomecki12345
Date: Tue, 27 Mar 2007 14:11
Date: Tue, 27 Mar 2007 14:11
14 lines
2323 bytes
2323 bytes
On 27 Mar, 14:50, p...@gazeta.pl (Piotr Dembiński) wrote: > "Grzesiek G." <gruza@spamerom_nie.priv4.onet.pl> writes: > > tomecki12...@o2.pl napisał(a): > >> Jeśli nie ma więc czegoś takiego jak teoria obiektowości, to czemu > >> też się spotkałem z opisami w stylu że jakiś język nie spełnia > >> wszystkich cech obiektowości itp. > > > Cechy obiektowości zostały nie raz już praktycznie opisane. > > Yup, na różne sposoby. Ale nadal istnieją pomiędzy poszczególnymi > opisami podstawowe różnice w semantyce kluczowych dla OOP relacji. A gdzie mógłbym poczytać o tych sposobach? jakieś książki?, internet- pod jakim hasłem?
Re: Teoria obiektowości - gdzie szukać?
Author: Michal Przybylek
Date: Tue, 27 Mar 2007 16:53
Date: Tue, 27 Mar 2007 16:53
47 lines
3268 bytes
3268 bytes
Piotr Dembiński napisał(a): [Ja tylko gościnnie] >>> Co do rachunku sigma, to czy przypadkiem nie narzuca on istnienia >>> systemu typów i czy na pewno system typów jest tutaj konieczny? Nie narzuca, ale bez jakiegokolwiek systemu typów nie ma w ogóle sensu rozważać tego rachunku (np. beztypowa wersja przepisuje się lokalnie do rachunku lambda). >> W wikipedii cisza, google też niewiele zwraca, coś dziwny ten >> rachunek ;) > > Na stronie, którą podałeś/podałaś jest napisane, że rachunek został > opracowany w latach 90. ubiegłego wieku. Czas upowszechnienia się > idei, nad którą pracują naukowcy, wśród praktyków wynosi około > dwudziestu lat. Wikipedia jest tworzona przez społeczność praktyków, > a nie przez specjalistów. Chrzanienie głupot. Podobnych rachunków i różnych rozszerzeń jest setki tuzinów i wszystkie o mniej więcej takiej samej wartości praktycznej - zerowej. I można wymyślić z jeszcze tuzin pomiędzy wydłubaniem dwóch kolejnych baboli z nosa. Rachunek sigma został opracowany przez Cardelliego (ceniona osobistość) i Abadiego. Byla książka (A Theory of Objects), były prace i zdechło śmiercią naturalną (z innych ciekawych rzeczy w podobnym temacie można przejrzeć jeszcze produkcje Castagny). > Nawiasem mówiąc to bardzo ładnie ze strony UW, że udostępnia materiały > dydaktyczne na swoich stronach WWW. Nie ładnie ze strony UW, że udostępnili, tylko ładnie ze strony unii europejskiej, że wyłożyła grubą kabzę na sfinansowanie tego przedsięwzięcia. Gwarantuje Ci, że za tyle siana też byś chętnie ponaprodukowywał trochę śmieci na serwis. Dwa, o ile pamiętam, akurat o tym pisał gościu z UJ a nie z UW. I ja wierzę, że na UW za gadanie bzdur tego kalibru student 3 roku wzwyż wylądował by na zbitym pysku poza murami uczelni. Rozmawiałem o tym nawet swego czasu z kilkoma osobami, ale podobno moje uwagi "były zbyt niegrzeczne, aby można je było dalej przekazywać". A ja już, kurwa, grzeczniej pisać po prostu nie potrafię... mp
Re: Teoria obiektowości - gdzie szukać?
Author: Piotr Dembiński
Date: Tue, 27 Mar 2007 17:02
Date: Tue, 27 Mar 2007 17:02
32 lines
2708 bytes
2708 bytes
tomecki12345@o2.pl writes: > On 27 Mar, 14:50, p...@gazeta.pl (Piotr Dembiński) wrote: >> "Grzesiek G." <gruza@spamerom_nie.priv4.onet.pl> writes: >> > tomecki12...@o2.pl napisał(a): >> >> Jeśli nie ma więc czegoś takiego jak teoria obiektowości, to >> >> czemu też się spotkałem z opisami w stylu że jakiś język nie >> >> spełnia wszystkich cech obiektowości itp. >> >> > Cechy obiektowości zostały nie raz już praktycznie opisane. >> >> Yup, na różne sposoby. Ale nadal istnieją pomiędzy poszczególnymi >> opisami podstawowe różnice w semantyce kluczowych dla OOP relacji. > > A gdzie mógłbym poczytać o tych sposobach? jakieś książki?, > internet- pod jakim hasłem? Z podstaw matematycznych to link do opisu rachunku sigma był już podany. Pewnie też algebra abstrakcyjna. Możliwe, że -- do pewnego stopnia -- teoria mnogości i ogólna teoria typów, ale o tym nie mam zielonego pojęcia -- może wypowie się ktoś bardziej obyty. Tak swoją drogą, to w matematycznej teorii kategorii jest mowa o obiektach. Niestety nie jestem w stanie powiedzieć, jak się mają obiekty z teorii kategorii do obiektów w OOP i OOSE. Jeśli mowa o spełnianiu bądź nie przez język programowania wymogów obiektowości to IMO albo ktoś nie bardzo wiedział, o czym mówi, albo ja nie rozumiem, co ten ktoś chciał przez to powiedzieć :) -- http://www.piotr.dembiński.prv.pl
Re: Teoria obiektowości - gdzie szukać?
Author: Piotr Dembiński
Date: Tue, 27 Mar 2007 17:40
Date: Tue, 27 Mar 2007 17:40
19 lines
1791 bytes
1791 bytes
Michal Przybylek <mrp@neostrada.pl> writes: > Piotr Dembiński napisał(a): > > [Ja tylko gościnnie] > >>>> Co do rachunku sigma, to czy przypadkiem nie narzuca on istnienia >>>> systemu typów i czy na pewno system typów jest tutaj konieczny? > > Nie narzuca, ale bez jakiegokolwiek systemu typów nie ma w ogóle > sensu rozważać tego rachunku (np. beztypowa wersja przepisuje się > lokalnie do rachunku lambda). W gruncie rzeczy to ciekawe z teoretycznego punktu widzenia mogą być wszelkie próby zdefiniowania operujących na obiektach maszyn wirtualnych, takich jak JVM, CLR, Parrot czy PyVM. -- http://www.piotr.dembiński.prv.pl
Re: Teoria obiektowości - gdzie szukać?
Author: Segmentation Fault
Date: Tue, 27 Mar 2007 23:10
Date: Tue, 27 Mar 2007 23:10
23 lines
2168 bytes
2168 bytes
Michal Przybylek wrote: > > Nie ładnie ze strony UW, że udostępnili, tylko ładnie ze strony unii > europejskiej, że wyłożyła grubą kabzę na sfinansowanie tego > przedsięwzięcia. Gwarantuje Ci, że za tyle siana też byś chętnie > ponaprodukowywał trochę śmieci na serwis. > Ładnie czy nieładnie IMHO ten serwis będzie w sieci najbardziej wszechstronnym i merytorycznym źródłem polskojęzycznych materiałów dla studentów informatyki Poziom tekstów nie jest równy (technicznie i pod względem "dogłębności" opracowania - Na ocenę merytoryczną jestem za cienki) ale wszystkie zostały napisane przez aktywnych nauczycieli akademickich. To zaleta w stosunku do innych podobnych zbiorów opracowań. Nie zapominajmy że to wersja beta. No i na pewno nie są to śmieci. Spójrz chociażby na autorów wykładu z algorytmów i struktur danych. Wreszcie UE sfinansowała coś pożytecznego ;)
Re: Teoria obiektowości - gdzie szukać?
Author: Michal Przybylek
Date: Wed, 28 Mar 2007 10:33
Date: Wed, 28 Mar 2007 10:33
22 lines
1845 bytes
1845 bytes
Segmentation Fault napisał(a): > Poziom tekstów nie jest równy (technicznie i pod względem "dogłębności" > opracowania - Na ocenę merytoryczną jestem za cienki) Właśnie o to chodzi, że poziom jest bardzo nierówny. Nie przeczę, są też wykłady bardzo dobre (np. z logiki dla informatyków, teorii informacji, programowania funkcyjnego, metod numerycznych...). > ale wszystkie > zostały napisane przez aktywnych nauczycieli akademickich. Niestety PhD nie chroni człowieka przed byciem durniem. > Nie zapominajmy że > to wersja beta. Jakby mało drgnęło przez ostatnie pół roku... mp
Re: Teoria obiektowości - gdzie szukać?
Author: Piotr Dembiński
Date: Wed, 28 Mar 2007 18:47
Date: Wed, 28 Mar 2007 18:47
8 lines
1406 bytes
1406 bytes
Segmentation Fault <coredumpWYKASUJ@onet.eu> writes: [...] > Nie zapominajmy że to wersja beta. Tak sobie przeglądam i się zastanawiam się, czy redaktorzy serwisu nie zastosowali przypadkiem techniki posiewania błędów w składzie.
Re: Teoria obiektowości - gdzie szukać?
Author: A.L.
Date: Sat, 31 Mar 2007 02:57
Date: Sat, 31 Mar 2007 02:57
19 lines
1388 bytes
1388 bytes
On 26 Mar 2007 08:11:26 -0700, tomecki12345@o2.pl wrote: >Witam, > >Spotkałem się już kilka krotnie z terminem "teoria obiektowości" ale >tylko z nim, nie mogę znaleźć żadnych książek ani materiałów >dotyczących tej teorii. Może szukam pod złym hasłem. Mogli byście >polecić mi jakieś książki, strony dotyczące tematu? Moze tu?... A Theory of Objects (Monographs in Computer Science) (Hardcover) by Martin Abadi (Author), Luca Cardelli (Author) Luca Cardelli (obecnie w Microsoft Research) jest autrytetem w tej dziedzinie. Proponuje pogoglowac. A.L.
Re: Teoria obiektowości - gdzie szukać?
Author: A.L.
Date: Sat, 31 Mar 2007 03:01
Date: Sat, 31 Mar 2007 03:01
18 lines
1378 bytes
1378 bytes
On Mon, 26 Mar 2007 17:45:04 +0200, pdemb@gazeta.pl (Piotr Dembiński) wrote: >tomecki12345@o2.pl writes: > >> Witam, >> >> Spotkałem się już kilka krotnie z terminem "teoria obiektowości" ale >> tylko z nim, nie mogę znaleźć żadnych książek ani materiałów >> dotyczących tej teorii. Może szukam pod złym hasłem. Mogli byście >> polecić mi jakieś książki, strony dotyczące tematu? > >ZTCW to nie ma czegoś takiego jak teoria obiektowości. Podobno są >próby określenia semantyki dla OOP w ramach rachunku lambda. Jak zwykle, jest Pan kiepsko poinformowany A.L.
Re: Teoria obiektowości - gdzie szukać?
Author: A.L.
Date: Sat, 31 Mar 2007 03:08
Date: Sat, 31 Mar 2007 03:08
17 lines
1674 bytes
1674 bytes
On Tue, 27 Mar 2007 18:53:08 +0200, Michal Przybylek <mrp@neostrada.pl> wrote: >Pi > >Dwa, o ile pamiętam, akurat o tym pisał gościu z UJ a nie z UW. I ja >wierzę, że na UW za gadanie bzdur tego kalibru student 3 roku wzwyż >wylądował by na zbitym pysku poza murami uczelni. Rozmawiałem o tym >nawet swego czasu z kilkoma osobami, ale podobno moje uwagi "były zbyt >niegrzeczne, aby można je było dalej przekazywać". A ja już, kurwa, >grzeczniej pisać po prostu nie potrafię... > Czy Pan moze byc more specific? Bo to jakas mowa z kluczem, a ja nie mam klucza. A.L.
Re: Teoria obiektowości - gdzie szukać?
Author: A.L.
Date: Sat, 31 Mar 2007 03:09
Date: Sat, 31 Mar 2007 03:09
21 lines
1847 bytes
1847 bytes
On Wed, 28 Mar 2007 12:33:28 +0200, Michal Przybylek <mrp@neostrada.pl> wrote: >Segmentation Fault napisał(a): > >> Poziom tekstów nie jest równy (technicznie i pod względem "dogłębności" >> opracowania - Na ocenę merytoryczną jestem za cienki) > >Właśnie o to chodzi, że poziom jest bardzo nierówny. Nie przeczę, są też > wykłady bardzo dobre (np. z logiki dla informatyków, teorii >informacji, programowania funkcyjnego, metod numerycznych...). > >> ale wszystkie >> zostały napisane przez aktywnych nauczycieli akademickich. > >Niestety PhD nie chroni człowieka przed byciem durniem. A Pan ma Ph.D?... Tak dla porzadku pytam, zeby pana sklasyfikwoac. A.L.
Re: Teoria obiektowości - gdzie szukać?
Author: Piotr Dembiński
Date: Sat, 31 Mar 2007 10:59
Date: Sat, 31 Mar 2007 10:59
18 lines
1547 bytes
1547 bytes
A.L. <fela@2005.com> writes: > On 26 Mar 2007 08:11:26 -0700, tomecki12345@o2.pl wrote: > >>Witam, >> >>Spotkałem się już kilka krotnie z terminem "teoria obiektowości" >>ale tylko z nim, nie mogę znaleźć żadnych książek ani materiałów >>dotyczących tej teorii. Może szukam pod złym hasłem. Mogli byście >>polecić mi jakieś książki, strony dotyczące tematu? > > > Moze tu?... > > A Theory of Objects (Monographs in Computer Science) (Hardcover) > by Martin Abadi (Author), Luca Cardelli (Author) Czy ktoś może ma tę książkę i mógłby mi ją pożyczyć?
Re: Teoria obiektowości - gdzie szukać?
Author: Michal Przybylek
Date: Tue, 03 Apr 2007 15:46
Date: Tue, 03 Apr 2007 15:46
21 lines
1900 bytes
1900 bytes
A.L. napisał(a): > Czy Pan moze byc more specific? Bo to jakas mowa z kluczem, > a ja nie mam klucza. :-) Wszystko po staremu. > A Pan ma Ph.D?... Tak dla porzadku pytam, > zeby pana sklasyfikwoac. Nie, żebym o sobie jakiekolwiek informacje ukrywał, ale jakoś przeraża mnie myśl sama, że mógłbyś napisać na mój temat książkę, więc nie będę Ci szczególnie tego ułatwiał - jeno z sympatii rzeknę, iż kilka osób z tej grupy zna mą skromną osobę personalnie, fizycznie i w naturalnym wymiarze - tako też, tymi bądź innymi sposobami, przy odpowiednim wysiłku, dowiedzieć się wiele z nurtujących Cię rzeczy o mnie możesz. mp
Re: Teoria obiektowości - gdzie szukać?
Author: A.L.
Date: Tue, 03 Apr 2007 15:59
Date: Tue, 03 Apr 2007 15:59
28 lines
2063 bytes
2063 bytes
On Tue, 03 Apr 2007 17:46:36 +0200, Michal Przybylek <mrp@neostrada.pl> wrote: >A.L. napisał(a): > >> Czy Pan moze byc more specific? Bo to jakas mowa z kluczem, > > a ja nie mam klucza. > >:-) > >Wszystko po staremu. > > > A Pan ma Ph.D?... Tak dla porzadku pytam, > > zeby pana sklasyfikwoac. > >Nie, żebym o sobie jakiekolwiek informacje ukrywał, ale jakoś przeraża >mnie myśl sama, że mógłbyś napisać na mój temat książkę, więc nie będę >Ci szczególnie tego ułatwiał - jeno z sympatii rzeknę, iż kilka osób z >tej grupy zna mą skromną osobę personalnie, fizycznie i w naturalnym >wymiarze - tako też, tymi bądź innymi sposobami, przy odpowiednim >wysiłku, dowiedzieć się wiele z nurtujących Cię rzeczy o mnie możesz. > Niestety, Panie mp, jest Pan zarozumialy sadzac ze wykonam jakikolwiek wysilek na temat "rozpoznania" Panskiej osoby. Wystarczy to co Pan pisze. Konkluzja: jest Pan zarozumialy. A.L.
Re: Teoria obiektowości - gdzie szukać?
Author: Michal Przybylek
Date: Tue, 03 Apr 2007 19:41
Date: Tue, 03 Apr 2007 19:41
18 lines
1882 bytes
1882 bytes
A.L. napisał(a): > Konkluzja: jest Pan zarozumialy. Ojej, to zupełnie tak jak Ty. A ja też lubię sobie w wolnych chwilach różne interesujące rzeczy podczytywać! Zabawnie by było, gdyby kiedyś się okazało, że tak naprawdę to jesteśmy tą samą osobą - tą dokładnie, która odgrywa ten cały dziwny teatrzyk i napawa swoje puste wnętrze bezdusznym, szyderczym hihotem z obdartych z resztek rozumu biednych, zagubionych ludzi... Nie, aż gęsiej skórki dostaję na samą myśl o tym. Modlisz się czasami ? 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