tak wogole w tym typowaniu dynamicznym to zdaje sie ze typowanie nie jest likwidowane
tylko przenoszone (do srodka encji), co warto mz sobie uswiadomic, - jakby typ nie
byl trzymany w srodku to trzebaby go bylo trzymac na zewnatrz, np rzutowac albo
statycznie zarzadzac,
korzysci natomiast z tego wewnetrznego typowania raczej pewnie wystepuja bo to pewnie
pozwala klecic paradygmaty na troche lub zupelnie inne
sposoby - ale nie znam sie na tym za bardzo,
jakby mi sie chcialo to bede to opracowywac w swojej osobistej pracy naukowej :|
ostatnio mi sie troche nie chce