W dniu środa, 15 stycznia 2014 14:01:40 UTC+1 użytkownik Adam Klobukowski napisał:

> Podsumowując: statyczne jak i dynamiczne systemy typów
> mają swoje zady i walety. Porównywanie ich bez podawania
> konkretnych zastosowań nie ma sensu - inaczej będziesz
> pisał pakiet biurowy, inaczej sterownik niskopoziomowy
> a jeszcze inaczej firmware urządzenia.

Wydaje mi sie, ze taki poglad jest dosc powszechny,
ale nie do konca sluszny. Rzecz w tym, ze w istocie
rola systemu typow nie jest optymalizacja, tylko
zwiekszanie niezawodnosci oprogramowania.

Jezyk C jest pod tym wzgledem rzeczywiscie dosc
specyficzny, poniewaz system typow dodatkowo daje
pewna kontrole nad tym, w jaki sposob dane beda
zorganiozwane w pamieci. Ale to jest tylko przygodna
cecha tego akurat systemu typow, i wydaje mi sie,
ze ta cecha czesto wprowadza ludzi w blad dotyczacy
ogolnej roli systemow typow.

Dlatego dodawnie anotacji z typami w jezykach
typowanych dynamicznie, oraz narzedzi walidujacych
zgodnosc uzytych typow dla takich jezykow ma jak
najbardziej sens, i mam nadzieje, ze bedzie jak
najwiecej takich narzedzi (albo: ze tworcy jezykow
dynamicznych zaczna myslec, ze jak nie ich jezyki
nie maja statycznych type-checkerow, to troche
siara)