Piye cara type hints bisa mandheg lan apa wae kauntungan-kauntungane?

Question

Accepted Answer

**Type hints** (PEP 484+) ndadiak sampeyan bisa ngannotasi tipe sing dikarepake saka variabel, parameter fungsi, lan nilai balik. Iku **opsional** lan **ora dileksanakake tumrap runtime** — Python ora nglirwakke nalika mlakune — nanging mau ndadiak analisis statis, tooling sing luwih apik, lan kode sing luwih cetha.

## Sintaksis dasar

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

Ukara `: type` ngannotasi parameter/variabel lan `-> type` ngannotasi balik. Iku ndokumensikake maksud lan dicek dening tool, nanging Python **ora** lileksanakake dhuwit tunay tumrap runtime (ngirim tipe sing salah ora bakal narik dhewe).

## Konstrak typing umum

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

## Static type checking ngangkap cacad sadurunge runtime

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

Jengtheng type kaya **mypy** utawa **pyright** nganalisis hint lan nglaporke cacad tipe *sadurunge* sampeyan mlakuke kode — ngangkap klasé cacad kabeh (tipe argument salah, karana None) awal, kaya jengtheng bakal nggawa.

## Kauntungane

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

## Dhuwit tunay lan gradual

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

## Framework nggunakake dhuwit tunay tumrap runtime

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

Saliyane pustaka (Pydantic, FastAPI) maca hint tipe kanggo validasi data lan ngasil dokumentasi — ndadiak dhuwit tunay kahuripan tumrap runtime.

## Mengapa iki wigati

Type hints ngandhakake kauntungan akeh saka static typing menyang Python tanpa ngorbanke fleksibilitas dinamis: iku ngangkap cacad tipe-related awal (via mypy/pyright), dadi apik banget IDE tooling lan refactoring, ndadiak dokumentasi urip, lan nguwasani framework modern (FastAPI, Pydantic) sing nggunakake dhuwit tunay kanggo validasi lan dokumentasi otomatis.

Ngandhakake opsional lan ora dileksanakake tumrap runtime dening Python dhewe, iku wis dadi standar tumrap professional lan ukuran-gedhe Python codebases amarga iku ndadiak kode luwih dipercaya, mudah dipangati, lan dokumentasi dhewe — saya tambah praktik sing dikarep-karepake, utamané amarga proyek berkembang.