🚀 go-pugleaf

Aleksander Galicki napisał(a):

> Prosze zauwazyc, ze jezyki beztypowe (czyli dynamiczne) sa charakterestyczne
> wlasnie dlatego, ze nie maja cechy ktora sie zwie statyczny system typow.
> Jakiekolwiek dobrodziejstwa, ktore ktore maja jezyki dynamiczne a ktorych nie
> moze miec statycznie typowany jezyk, musza zatem wynikac z cechy braku
> statycznego systemu typow.

O dziwo jest to w pewnym stopniu błędne założenie.

Nie istnieje coś takiego jak statyczny system typów. Każdy statyczny 
system typów to kombinacja liczby dziur ze stopniem skomplikowania 
samego typowania. Java i C# są cały czas jeszcze blisko pierwszej 
granicy (choć ciągle się przesuwają). Pochodne Haskell'a są już raczej 
blisko tej drugiej.

No więc, prawdziwy powód jest taki - skomplikowanych systemów typów 
normalni ludzie nie są w stanie wygodnie używać. A kiedy jest dużo 
dziur, wtedy trzeb często przez te dziury przechodzić. I przy statycznym 
systemie typów jest to zawsze bardzo paskudne i niewygodne.


mp