🚀 go-pugleaf

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 ;)