Kāda veida tipizācija ir Python: statiska vai dinamiska?

Dinamisks, bet ar ar elementiem ar statiskām tipu anotācijām.

Dinamisks tipa noteikšanas laikā mainīgā tips tiek noteikts programmas izpildes laikā, balstoties uz piešķirto vērtību.

# Dinamisks tipa noteikšana: x var pieņemt dažādus datu tipus
x = 10  # int
x = "hello" # str

No Python 3.5 ir pievienotas tipu anotācijas (type hints), kas ļauj norādīt sagaidāmo mainīgā, funkcijas argumenta vai atgrieztās vērtības tipu. Tas nepadara Python par statiski tipizētu valodu klasiskajā izpratnē, bet ļauj izmantot statiskās analīzes rīkus (piemēram, mypy) tipu pārbaudei pirms programmas izpildes.

# Tipu anotācijas
def greet(name: str) -> str:
    return f"Hello, {name}"

age: int = 30

Galvenās atšķirības starp dinamisko un statisko tipizāciju:

Raksturlielums	Dinamisks tipa noteikšana	Statiska tipa noteikšana
Tipu noteikšana	Vērtības noteikšanas laikā	Kompilācijas laikā
Kļūdu pārbaude	Vērtības noteikšanas laikā	Kompilācijas laikā
Elastība	Augstāka	Zemāka
Veiktspēja	Var būt zemāka (pārbaudes izpildes laikā)	Bieži augstāka (tipi ir zināmi iepriekš)

Neskatoties uz anotācijām, Python paliek dinamiski tipizēta valoda, jo tipu pārbaude notiek arī izpildes laikā, un ir iespējams piešķirt mainīgajam citu tipu vērtību, pat ja bija sintaktiska anotācija. Anotācijas kalpo, lai uzlabotu koda lasāmību, atvieglošanu un izmantošanu ar statiskās analīzes rīkiem.