Kako funkcioniraju type hints i kojih su im beneficije?

Question

Accepted Answer

**Type hints** (PEP 484+) omogućavaju vam anotiranju očekivane vrste varijabli, parametara funkcije i povratnih vrijednosti. Oni su **opcionalni** i **nisu primijenjeni tijekom izvršavanja** — Python ih ignora tijekom izvršavanja — ali omogućavaju statičku analizu, bolje alate i jasniji kod.

## Osnovni sintaksni

```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` anotira parametre/varijable i `-> type` povratak. Oni dokumentiraju namjeru i provjeravaju se alatima, ali Python ih **ne provodi** tijekom izvršavanja (prosleđivanje pogrešne vrste neće baciti grešku sama od sebe).

## Česti type konstrukti

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

## Statička type provjera hvata bugove prije izvršavanja

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

Provjerivač tipa kao što je **mypy** ili **pyright** analizira savjete i prijavljuje type greške *prije nego što* pokrenete kod — što hvata cijelu klasu bugova (pogrešne vrste argumenata, zloupotreba None) rano, kao što bi kompajler.

## Beneficije

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

## Oni su opcionalni i postepeni

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

## Frameworki ih koriste tijekom izvršavanja

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

Neke biblioteke (Pydantic, FastAPI) čitaju type hints da validiraju podatke i generiraju dokumentaciju — što ih čini funkcionalno značajnima tijekom izvršavanja.

## Zašto je važno

Type hints donose mnoge beneficije statičkog tipiziranja u Python bez odricanja njegovog dinamičkog fleksibilnosti: oni hvataće greške vezane uz tipove rano (preko mypy/pyright), dramatično poboljšavaju IDE alate i refaktoriranje, služe kao živuća dokumentacija, i potiču moderne frameworke (FastAPI, Pydantic) koji ih koriste za validaciju i auto-generirane dokumente. Iako su opcionalni i ne primjenjuju se od strane Python-a tijekom izvršavanja, oni su postali standard u profesionalnim i velikim Python codebases jer čine kod pouzdanijim, lakšim za održavanje i samoobjašnjavajućim — sve više očekivana praksa, posebice kako projekti rastu.