Kaip skiriasi statinė ir dinaminė tipizacija programavimo kalbose?

Statinė tipizacija reiškia, kad kintamųjų tipai yra apibrėžti ir tikrinami kompiliacijos metu. Tai leidžia aptikti tipų klaidas prieš programos paleidimą. Pavyzdžiui, Swift arba C++ kalbose, kintamojo tipas aiškiai nurodomas arba išvedamas kompiliatoriaus, ir jo keisti negalima.

Dinaminė tipizacija reiškia, kad kintamųjų tipai yra nustatomi programos vykdymo metu. Tai suteikia didesnį lankstumą, tačiau tipų klaidos gali pasireikšti tik vykdymo metu. Pavyzdžiai kalbų su dinamine tipizacija yra Python ir JavaScript.

Pavyzdys Swift (statinė tipizacija):

var number: Int = 10
number = "eilutė" // Klaidų kompiliavimas

Pavyzdys Python (dinaminė tipizacija):

number = 10
number = "eilutė"  # Veikia be klaidų