W dniu 2011-08-17 15:42, Stachu 'Dozzie' K. pisze:
[...]
>> Fakt, ze argumentacja zwolennikow "dynamicznie typowanych" jezykow jest
>> pokretna :) - mowia oni "jezeli twoje testy nie wykryly takiego bledu,
>> to masz za malo testow".
>
> Zawsze masz za mało testów żeby uzyskać pewność. W języku statycznie
> typowanym dostajesz pewność zgodności typów przez sam fakt skompilowania
> programu.

Trochę mi to przypomina argumentację zwolenników "czystego" C, że RAII
jest niepotrzebne i można to samo osiągnąć umieszczeniem free()/fclose()
gdzie trzeba (oraz być może testami na tę okoliczność). Jasne, że można.
Tyle, że RAII (oraz statyczna kontrola typów) może automatycznie
(czyli bezbłędnie) wygenerować część kodu zwalniającego (część testów).

Nie przeczę, że testy warto mieć, a statyczne typowanie nie zastąpi
testów w ogólności. Ale świetnie, a co najważniejsze - automatycznie,
zastępuje część testów dotyczących zgodności typów.

--
Paweł Kierski
n...@p...net