🚀 go-pugleaf

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