On 02/13/2014 11:47 PM, A.L. wrote:
> On Thu, 13 Feb 2014 12:14:02 -0800 (PST), Wojciech Mu?a
> <w...@g...com> wrote:
>
>> On Thursday, February 13, 2014 4:03:19 AM UTC+1, A. L. wrote:
>>> P.S> Jak kogos interesuje solidna i profesjonalna krytyka OO, polecal
>>> strone Luca Cardelli. To najwiekszyc chyba autorytet w dziedzinei
>>> typow i OO. Napisal ksziake "Theory of Objects" zawierajaca dokaldna
>>> analize i porownanie oo "z klasami" i "bez kals". Ksizka jest droga
>>> ale na citeseer sa do sicgniecia obszerne slajdy (cos 600) zawierajace
>>> wyklad materialu z ksiazki.
>>
>> Chodzi o to?
>> http://citeseer.ist.psu.edu/viewdoc/summary?doi=10.1
.1.187.4575
>>
>> w.
>
> tak

Bardzo ciekawy materiał, za co dzięki.

BTW, wykład Westa w lwiej części pokrywa się z tym materiałem.
W uproszczeniu, oraz AFAIU co West miał na myśli, po prostu
West krytykuje języki bazujące na klasach, a twierdzi że OOP
to dynamicznie typowane języki bazujące na obiektach, z dynamic
dispatch, delegacjami oraz subsumption (podoba mi się ta alternatywna
nazwa dla duck typing), itd.

Tak sobie myślę, że jakby Pan obejrzał wykład i skonfrontował
z materiałem Cardelliego, to byśmy nie ubili wspólnie tyle piany
(na co chyba poszło więcej czasu niż monolog Westa).

Pozdrawiam,
--
Mateusz Loskot, http://mateusz.loskot.net
Charter Member of OSGeo, http://osgeo.org