On 2011-08-17 14:41, Paweł Kierski wrote:
> W dniu 2011-08-17 10:12, Artur M. Piwko pisze:
>> To jest akurat marginalna zaleta. Podobnie sprawdzi się poprawnie
>> używany Python. Nie trzeba ludzi straszyć dynamicznie typowanymi
>> językami. https://docs.google.com/View?id=dcsvntt2_25wpjvbbhk
>
> Wg tego artykułu poprawnie używany Python, to taki, w którym trzeba
> dopisać masę testów, które w statycznie typowanym języku "generuje"
> i "wykonuje" kompilator.
>

Gwoli uczciwosci w dyskusji: jak ja rozumiem te argumentacje (chociaz
sie z nia nie zgadzam), to mowi ona tyle, ze i tak musisz miec testy,
zas - w praktyce - jezeli juz je masz to wykrywaja one bledy, ktorych
nie wykryje kompilator.
Wiec to nie jest tak, ze piszemy testy by zastapic statyczna
weryfikacje, lecz piszemy testy tak czy inaczej i niejako przy okazji
mozemy zrezygnowac ze statycznej kontroli typow (bo mamy testy).

--
Michal