On 2011-08-17 16:50, Stachu 'Dozzie' K. wrote:
> On 2011-08-17, Michal Kleczek<k...@p...onet.pl> wrote:
>> On 2011-08-17 15:42, Stachu 'Dozzie' K. wrote:
>>> On 2011-08-17, Michal Kleczek<k...@p...onet.pl> wrote:
>>>
>>>> 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.
>>>
>>
>> Bede adwokatem diabla - a co ci daje "pewnosc zgodnosci typow"?
>
> Pewność wyeliminowania pewnej klasy błędów, dość często spotykanej
> zresztą. To już dużo.

No wlasnie konrargument zwolennikow dynamicznego typowania jest taki, ze:
a) wlasnie - wbrew obiegowym opiniom - wcale nie "czesto spotykanej"
b) i tak najpowazniejsze oraz najtrudniejsze w diagnozie i naprawie
bledy (nie musza byc czeste) wynikaja z przyczyn, ktorych nie
wyeliminuje statyczny typechecker.

Analogiczna dyskusja toczy sie wsrod zwolennikow statycznego typowania.
Dotyczy ona tego, czy ma byc "nominal typing" czy wystarczy "structural
typing".
I sam fakt, ze zastosowanie "nominal typing" powoduje wylapanie bledow w
wiekszej ilosci programow nie jest wystarczajacym argumentem za jego
stosowaniem.

>
>> Masz jakies dane empiryczne mowiace o tym, ze programy zweryfikowane
>> statycznie na "zgodnosc typow" maja wyzszy poziom akceptacji
>> uzytkownikow? Chetnie sie z nimi zapoznam.
>
> #define "akceptacja użytkowników", bo mnie kojarzy się z użytkownikiem
> końcowym, który chce jedynie ładne ikonki do klikania.
>

Chociazby.
Jak to sie ma do statyczniej kontroli typow?
Czy programy napisane dajmy na to w Adzie maja ladniejsze ikonki i
lepiej je wyswietlaja niz te napisane w Smalltalku?

Czy dysponujesz jakimikolwiek danymi empirycznymi, ktore mowilyby o
korelacji pomiedzy uzytym jezykiem programowania (w szczegolnosci czy
jest on statycznie typowany), a akceptacja klienta (definiowana
jakkolwiek rozsadnie)?

--
Michal