🚀 go-pugleaf

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