Typowanie silne: Różnice pomiędzy wersjami

[wersja nieprzejrzana][wersja nieprzejrzana]
Usunięta treść Dodana treść
int.
int.
Linia 1:
'''Silna typizacja''' to [[system typów]] [[język programowania|języku programowania]], w którym każde wyrażenie ma ustalony typ, i nie można go używać w kontekście przeznaczonym dla innych typów.
 
Silna typizacja wykrywa pewne błędy, jednak ogranicza znacznie język i tworzy wiele fałszywych błędów. Np. mieszanie [[Liczba zmiennoprzecinkowa|liczb zmiennoprzecinkowych]] i [[typ całkowity|całkowitych]] jest prawie zawsze w pełni poprawne, jednak niektóre systemy silnie typizowane uznają je za błąd.