Koks tipas tipizacijos yra Python: statinis ar dinaminis?

Dinaminis, bet su statinio tipų žymėjimo elementais.

Dinaminio tipizavimo metu kintamojo tipas nustatomas programos vykdymo metu remiantis jam priskirta reikšme.

# Dinaminis tipizavimas: x gali turėti skirtingus duomenų tipus
x = 10  # int
x = "hello" # str

Nuo Python 3.5 pridėtos tipų žymos (type hints), kurios leidžia nurodyti laukiamą kintamojo, funkcijos argumento ar grąžinamosios reikšmės tipą. Tai nepadaro Python klasikinės prigimties statiniu tipu kalba, bet leidžia naudoti statinius analizatorius (pvz., mypy) tipų patikrinimui prieš programos vykdymą.

# Tipų žymos
def greet(name: str) -> str:
    return f"Hello, {name}"

age: int = 30

Pagrindiniai skirtumai tarp dinaminio ir statinio tipizavimo:

Savybė	Dinaminis tipizavimas	Statinis tipizavimas
Tipų nustatymas	Vykdymo metu	Kompiliacijos metu
Tipų klaidų patikrinimas	Vykdymo metu	Kompiliacijos metu
Lankstumas	Daugiau	Mažiau
Našumas	Gali būti žemesnis (dėl patikrinimų vykdymo metu)	Dažnai aukštesnis (tipai žinomi iš anksto)

Nepaisant žymų, Python lieka dinamiškai tipizuota kalba, nes tipų patikrinimas vykdymo metu vis tiek vyksta, ir galima priskirti kintamajam kitokio tipo reikšmę, net jei buvo sintaksinė žyma. Žymos skirtos gerinti kodo skaitomumą, palengvinti derinimą ir naudoti statinio analizės įrankius.