Python'da qanday turdagi tiplash mavjud: statik yoki dinamik?

Dinamik, ammo turlar anotatsiyalari bilan statik elementlar bilan.

Dinamik tiplashda, o'zgaruvchining turi uning qiymatiga asoslangan holda bajarilish vaqtida aniqlanadi.

# Dinamik tiplash: x turli ma'lumot turlarini olishi mumkin
x = 10  # int
x = "salom" # str

Python 3.5 versiyasidan boshlab, tur tavsiflari (type hints) qo'shildi, ular o'zgaruvchi, funktsiya argumenti yoki qaytish qiymatining kutilyotgan turini ko'rsatishga imkon beradi. Bu Pythonni an'anaviy ma'noda statik tipli til qilmaydi, lekin mypy kabi statik kod tahlilchilaridan foydalanishga imkon beradi, kodni bajarishdan oldin turlarni tekshirish uchun.

# Tur tavsiflari
def greet(name: str) -> str:
    return f"Salom, {name}"

yosh: int = 30

Dinamik va statik tiplash o'rtasidagi asosiy farqlar:

Xususiyat	Dinamik tiplash	Statik tiplash
Turlarni aniqlash	Bajarilish vaqtida	Kompilyatsiya vaqtida
Xatoliklarni tekshirish	Bajarilish vaqtida	Kompilyatsiya vaqtida
Moslashuvchanlik	Yuqori	Past
Ishlash tezligi	Past bo'lishi mumkin (tekshiruvlar sababli)	Odatda yuqori (turlar oldindan ma'lum)

Annotatsiyalarga qaramay, Python hali ham dinamik tipli til bo'lib qoladi, chunki turlarni tekshirish bajarilish vaqtida davom etadi, va o'zgaruvchiga boshqa turdagi qiymat berish mumkin, hatto sintaktik annotatsiya bo'lsa ham. Annotatsiyalar kodning o'qilishi uchun, xatolarni aniqlashda yordam berish uchun va statik tahlil vositalaridan foydalanish uchun xizmat qiladi.