Tür ipuçları (type hints) nasıl çalışır ve faydaları nelerdir?

Question

Accepted Answer

**Tür ipuçları** (PEP 484+) değişkenlerin, fonksiyon parametrelerinin ve dönüş değerlerinin beklenen türlerini açıklama ek notasyonudur. Bunlar **isteğe bağlıdır** ve **çalışma zamanında uygulanmaz** — Python onları çalıştırırken yok sayar — ancak statik analiz, daha iyi araçlar ve daha net kod sağlarlar.

## Temel sözdizimi

```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` parametreleri/değişkenleri açıklar ve `-> type` dönüş değerini açıklar. Bunlar amacı belgelemek için vardır ve araçlar tarafından kontrol edilir, ancak Python çalışma zamanında onları **uygulamaz** (yanlış bir tür geçirmek kendi başına hata raise etmez).

## Yaygın typing yapıları

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

## Statik tür kontrolü hataları çalışma zamanından önce yakalar

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

**mypy** veya **pyright** gibi bir tür denetleyicisi ipuçlarını analiz eder ve kod çalıştırılmadan *önce* tür hatalarını bildirir — hata sınıfının tamamını (yanlış argüman türleri, None kötüye kullanımı) erken yakalar, tıpkı bir derleyici gibi.

## Faydaları

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

## Bunlar isteğe bağlı ve kademeli

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

## Çerçeveler (frameworks) bunları çalışma zamanında kullanır

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

Bazı kütüphaneler (Pydantic, FastAPI) tür ipuçlarını okuyarak verileri doğrular ve belgeler oluşturur — onları çalışma zamanında işlevsel olarak anlamlı hale getirir.

## Neden önemli

Tür ipuçları, Python'un dinamik esnekliğini kaybetmeden statik yazımlandırmanın birçok faydası getirir: tür ile ilgili hataları erken yakalar (mypy/pyright aracılığıyla), IDE araçlarını ve yeniden düzenleme işlemlerini önemli ölçüde iyileştirir, yaşayan belgeler olarak hizmet eder ve tür ipuçlarını doğrulama ve otomatik olarak oluşturulan belgeler için kullanan modern çerçeveleri (FastAPI, Pydantic) güçlendirir.

Python tarafından çalışma zamanında uygulanmamakla birlikte, isteğe bağlı olmasına rağmen, kodu daha güvenilir, bakımı daha kolay ve kendini belgeleyen hale getirdikleri için profesyonel ve geniş ölçekli Python kod tabanlarında standart haline gelmişlerdir — özellikle projeler büyüdükçe giderek beklenen bir uygulamadır.