ტიპის მინიშნებები (PEP 484+) საშუალებას გაძლევთ აღნიშნოთ ცვლადების, ფუნქციის პარამეტრებისა და დაბრუნებული მნიშვნელობების მოსალოდნელი ტიპები. ისინი არჩევითი და გამოსრულების დროს არ ხორციელდება — Python მათ უგულებელყოფს კოდის გაშვებისას — მაგრამ ისინი ხელი შეუწყობენ სტატიკურ ანალიზს, უკეთ ხელსაწყოებს და ნაკლებად გაურკვეველ კოდს.
() -> :
name * times
age: =
names: [] = [, ]
scores: [, ] = {: }
: type აღნიშნავს პარამეტრებს/ცვლადებს და -> type დაბრუნებას. ეს დოკუმენტირებენ განზრახვას და შემოწმდება ხელსაწყოების მიერ, მაგრამ Python არ ხორციელდება მათ გამოსრულების დროს (არასწორი ტიპის გადაცემა თავისთავად არ გამოიწვევს შეცდომას).
from typing import Optional, Union, Callable, Any
def find(id: int) -> Optional[str]: # str OR None (= str | None in 3.10+)
...
x: int | str # Union (3.10+ syntax)
handler: Callable[[int], bool] # a function taking int, returning bool
items: list[dict[str, int]] # nested generics
def add(a: int, b: int) -> int:
return a + b
add("hello", 3) # ✅ Python runs it (and crashes); ❌ mypy/pyright flags it BEFORE running
ტიპის შემოწმებელი, როგორც mypy ან pyright, აანალიზებს მინიშნებებს და ატყობინებს ტიპის შეცდომებს კოდის გაშვებამდე — ხარვიზებს თავს აცლის მთელი კლასი ხარვიზებისა (არასწორი არგუმენტის ტიპები, None-ის ხელუხლებელი გამოყენება) დრო, როგორც კომპილატორი გააკეთებს.
✓ Catch type bugs early via static checkers (mypy, pyright) — before runtime
✓ IDE support — better autocomplete, refactoring, inline error detection
✓ Self-documenting code — signatures show exactly what's expected/returned
✓ Powers frameworks — FastAPI/Pydantic USE hints for validation & docs
✓ Easier maintenance of large codebases (catch breaking changes)
You can add hints incrementally — a few functions, or strictly everywhere.
Unannotated code still works. "Gradual typing" suits adopting them over time.
from pydantic import BaseModel
class User(BaseModel):
name: str
age: int # Pydantic USES the hint to VALIDATE data at runtime
User(name="Ann", age="x") # raises a validation error
ზოგიერთი ბიბლიოთეკა (Pydantic, FastAPI) კითხულობს ტიპის მინიშნებებს მონაცემთა შესამოწმებლად და დოკუმენტაციის გამომუშავებისათვის — რაც მათ ფუნქციონალურად მნიშვნელოვანს აკეთებს გამოსრულების დროს.
ტიპის მინიშნებები მოჰყავს სტატიკური ტიპირების ბევრი სარგებელი Python-ში მის დინამიკური მოქნილობის დაკარგვის გარეშე: ისინი ტიპთან დაკავშირებული ხარვიზებს ხაპენ ადრე (mypy/pyright-ის მეშვეობით), მნიშვნელოვნად აუმჯობესებენ IDE ხელსაწყოებს და რეფაქტორინგს, კიდევ ერთხელ დოკუმენტაციაა, და უძღვებთ თანამედროვე ჩარჩოებს (FastAPI, Pydantic), რომლებიც იყენებენ მათ შესამოწმებელი და ავტომატურად გამომუშავებული დოკუმენტაციისთვის.
მიუხედავად იმისა, რომ არჩევითი და არ ხორციელდება Python-ის მიერ გამოსრულების დროს, ისინი სტანდარტი გახდნენ პროფესიონალურ და დიდ Python კოდბეზებში, რადგან ისინი აკეთებენ კოდს უფრო სანდოს, შენარჩუნებადს და თვითდოკუმენტირებულს — სულ უფრო მეტად მოსალოდნელი პრაქტიკა, განსაკუთრებით, როგორც პროექტები იზრდება.