🚀 go-pugleaf

"Michal Przybylek" <mrp@neostrada.pl> writes:

> "Piotr Dembiński" <pdemb@gazeta.pl> wrote:
>
>> A'propos teorii kategorii -- czy może ktoś wie, jak się mają
>> kategorie smalltalkowe do kategorii matematycznych?
>
> Mniej wiecej tak jak domknietosc drzwi, do domknietosci 
> w matematyce. Tzn.:
>
> - nie ma czegos takiego jak "domknietosc w matematyce" - termin jest
> niejasny, co nie oznacza, ze bzdurny,
>
> - nawet po doprecyzowaniu, falszywe byloby stwierdzenie, ze zwiazku
> pomiedzy tymi pojeciami nie ma - zwiazkow jest cale mnowstwo, przy
> czym nie jestem przekonany, czy z sensem da sie o tych zwiazkach
> mowic.

Spojrzałem sobie na stronę teorii kategorii w angielskiej Wikipedii 
i wygląda na to, że gdyby przyłożyć teorię kategorii do programów
komputerowych, to jest to dopełnienie refaktoryzacji 
i restrukturyzacji: teoria kategorii bada przekształcenia zachowujące
strukturę, a sensem większości przekształceń refaktoryzacyjnych jest
zmiana struktury przy jednoczesnym zachowaniu innych własności 
(równoznaczność odniesień i działań).

-- 
http://www.piotr.dembiński.prv.pl

'Giving people a dynamically-typed language does not mean that they write
dynamically-typed programs.'  John Aycock, 'Aggressive Type Inference'