Static Type Hints & Static Analysis dengan Mypy

Tingkatkan ketahanan kode Python dengan menambahkan type hints: Union, Optional, Callable, TypeVar, dan validasi statis sebelum kode dijalankan di server produksi.

Python modern mendukung anotasi tipe statis yang mempermudah autocomplete IDE dan mendeteksi kesalahan tipe melalui alat analisa statis seperti Mypy atau Pyright.

from typing import TypeVar, Sequence

T = TypeVar('T')

def elemen_pertama(daftar: Sequence[T]) -> T | None:
    if not daftar:
        return None
    return daftar[0]

# Contoh penggunaan beraneka tipe (Generics)
angka = elemen_pertama([10, 20, 30])      # Tipe: int
teks = elemen_pertama(["Azzam", "Codex"])  # Tipe: str
print(f"Angka: {angka}, Teks: {teks}")