🚀 go-pugleaf

"Marcin Stefaniak" <matmis@gazeta.SKASUJ-TO.pl> wrote:

> Tak mi się w każdym razie wydaje.

Nie tu chodzi o cos innego. Duzo bardziej fundamentalnego.

Roznica jest duzo bardziej fundamentalna. C++ nie ma parametrycznego
polimorfizmu tylko makrogenerator, ktory niejako przypadkowo okazal sie miec
funkcjonalnosc rownowazna parametrycznemu polimorfizmowi.

W paramatrycznym polimorfizmie istotne jest to, ze mamy _jedna_ dostatecznie
bogata funkcje o porzadnych wlasnosciach.

W C++ dostajemy "szablon funkcji", z ktorego kompilator moze nam usluznie
wygenerowac konkretna funkcje (ale nie wygeneruje, np. kiedy napisalismy
specjalna wersje z reki).

Standardowy parametryczny polimorfizm ma ladna interpretacje kategoryjna
(np. w modelach PER) - jest to faibracja, w ktorej morfizmy sa _pojedynczym_
zyjatkiem (np. w PER _jedna_ klasa rownowaznosci), nie zas kolekcja zyjatek,
z ktorej wyciagamy to co nam jest potrzebebne po typie.

> dlaczego dla ludzi o mocnych nerwach? :-)

Nie chce isc do pierdla, kiedy Sektor popelni samobojstwo dowiedziawszy sie
kolejnej straszliwej prawdy...


mp