Πώς λειτουργούν τα type hints και ποια είναι τα οφέλη τους;

Question

Accepted Answer

**Type hints** (PEP 484+) σας επιτρέπουν να σχολιάσετε τους αναμενόμενους τύπους μεταβλητών, παραμέτρων συναρτήσεων και τιμών επιστροφής. Είναι **προαιρετικά** και **δεν επιβάλλονται κατά την εκτέλεση** — το Python τα αγνοεί κατά την εκτέλεση — αλλά ενεργοποιούν static analysis, καλύτερα εργαλεία και πιο σαφή κώδικα.

## Βασική σύνταξη

```python
def greet(name: str, times: int = 1) -> str:
    return name * times

age: int = 30
names: list[str] = ["Ann", "Bob"]
scores: dict[str, int] = {"math": 90}
```

`: type` σχολιάζει parameters/μεταβλητές και `-> type` την επιστροφή. Αυτά τεκμηριώνουν την πρόθεση και ελέγχονται από εργαλεία, αλλά το Python **δεν τα επιβάλλει κατά την εκτέλεση** (μεταφορά ενός λάθος τύπου δεν θα ρίξει μόνο του).

## Κοινές typing κατασκευές

```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
```

## Η στατική έλεγχος τύπου αποτρέπει σφάλματα πριν από την εκτέλεση

```python
def add(a: int, b: int) -> int:
    return a + b

add("hello", 3)   # ✅ Python runs it (and crashes); ❌ mypy/pyright flags it BEFORE running
```

Ένας type checker όπως **mypy** ή **pyright** αναλύει τα hints και αναφέρει type errors *πριν* εκτελέσετε τον κώδικα — πιάνοντας μια ολόκληρη κατηγορία σφαλμάτων (λάθος τύποι arguments, κακή χρήση None) νωρίς, όπως θα έκανε ένας μεταγλωττιστής.

## Τα οφέλη

```text
✓ 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)
```

## Είναι προαιρετικά και βαθμιαία

```text
You can add hints incrementally — a few functions, or strictly everywhere.
Unannotated code still works. "Gradual typing" suits adopting them over time.
```

## Τα πλαίσια τα χρησιμοποιούν κατά την εκτέλεση

```python
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) διαβάζουν type hints για να επικυρώσουν δεδομένα και να δημιουργήσουν έγγραφα — καθιστώντας τα λειτουργικά σημαντικά κατά την εκτέλεση.

## Γιατί σημαίνει

Τα type hints φέρνουν πολλά οφέλη της στατικής πληκτρολόγησης στο Python χωρίς να θυσιάσουν την δυναμική του ευελιξία: αποτρέπουν σφάλματα που σχετίζονται με τύπο νωρίς (μέσω mypy/pyright), βελτιώνουν δραματικά το εργαλείο IDE και το refactoring, χρησιμεύουν ως έγγραφα που ζουν και ενδυναμώνουν σύγχρονα πλαίσια (FastAPI, Pydantic) που τα χρησιμοποιούν για επικύρωση και αυτόματα δημιουργημένα έγγραφα.

Αν και προαιρετικά και δεν επιβάλλονται από το ίδιο το Python κατά την εκτέλεση, έχουν γίνει πρότυπο σε επαγγελματικές και μεγάλης κλίμακας Python codebases επειδή κάνουν τον κώδικα πιο αξιόπιστο, διατηρήσιμο και αυτό-τεκμηριωμένο — σε αυξανόμενο βαθμό μια αναμενόμενη πρακτική, ιδίως καθώς αναπτύσσονται τα έργα.