Type hints membuat kode besar tetap terbaca dan terjaga. Section ini membahas sistem tipe Python secara bertingkat, dari anotasi dasar sampai generics dan Protocol, lalu menjalankan static type checker untuk memverifikasi kode tanpa mengeksekusinya.

# Pengenalan Type Hints

Pahami mengapa anotasi tipe menjadi tulang punggung kode besar dan bagaimana gradual typing membuat adopsinya bertahap.

Buka → # Built-in Generic Types

Gunakan list[int], dict[str, int], tuple[int, ...], dan set[str] untuk menandai isi koleksi dengan anotasi modern.

Buka → # Union dan Optional Types

Nyatakan nilai yang mungkin kosong atau punya beberapa tipe dengan Union X | Y, Optional, dan pola None default.

Buka → # Callable dan Type Aliases

Tipkan function sebagai nilai dengan Callable, ringkas tipe panjang dengan alias, dan kenali statement type Python 3.12.

Buka → # Generic Types

Tulis function dan class yang bekerja untuk banyak tipe lewat TypeVar, Generic[T], bound, dan constrained type variable.

Buka → # TypedDict

Beri nama pada bentuk dictionary dengan TypedDict: key opsional, struktur bersarang, dan perbandingan dengan dataclass.

Buka → # Protocol dan Structural Typing

Definisikan kontrak method dengan typing.Protocol dan pahami structural typing serta batasan runtime_checkable.

Buka → # Overload

Uraikan beberapa signature dalam satu function dengan @overload agar checker memahami tipe masukan dan keluaran.

Buka → # Memahami Static Type Checking

Ketahui apa yang bisa dan tidak bisa ditangkap static type checker sebelum menjalankan program.

Buka → # Menggunakan mypy atau Pyright

Jalankan mypy dari terminal, aktifkan --strict, simpan konfigurasi di pyproject.toml, dan bandingkan dengan Pyright.

Buka →