Durum makineleri nedir ve ne zaman yardımcı olurlar?

Question

Accepted Answer

Bir **durum makinesi**, bir sistemi sonlu bir **durum** kümesi artı bunlar arasında izin verilen **geçişler** olarak modeller. Bağımsız boolean bayraklarıyla uğraşmak yerine, tam olarak hangi durumların var olduğunu ve hangi geçişlerin yasalı olduğunu tanımlarsınız — imkânsız durumları temsil edilemez hale getirir.

## Sorun: boolean çorbası

```js
// ❌ multiple booleans → 2^n combinations, many of them invalid
const [isLoading, setLoading] = useState(false);
const [isError, setError] = useState(false);
const [isSuccess, setSuccess] = useState(false);
// { isLoading: true, isError: true, isSuccess: true } — nonsense, but POSSIBLE
```

Bağımsız bayraklarla hiçbir şey çelişkili kombinasyonları engellemez ve her geçişte bunları manuel olarak tutarlı tutmalısınız — hata magneti.

## Durum makinesi modeli

```text
States:      idle → loading → success
                       ↓
                     error → (retry) → loading

Only defined transitions are allowed; you can't be in two states at once.
```

```js
const machine = {
  idle:    { FETCH: "loading" },
  loading: { SUCCESS: "success", ERROR: "error" },
  success: { FETCH: "loading" },
  error:   { RETRY: "loading" },
};
function transition(current, event) {
  return machine[current][event] ?? current; // only legal transitions happen
}
```

Tek bir `state` değişkeni geçerli durumu tutar; bir `event` *tanımlanmış* bir geçişi tetikler. Yasadışı geçişler (örneğin boştayken SUCCESS) basitçe meydana gelemez — imkânsız durumlar tasarım gereği ortadan kaldırılmıştır.

## Gerçek dünya araçları: XState

```js
// libraries like XState formalize this with guards, actions, nested/parallel states
const toggleMachine = createMachine({
  initial: "inactive",
  states: {
    inactive: { on: { TOGGLE: "active" } },
    active:   { on: { TOGGLE: "inactive" } },
  },
});
```

## Durum makineleri ne zaman yardımcı olurlar

```text
✓ Complex flows with many states: checkout, multi-step forms/wizards, media players
✓ Authentication flows (logged out → logging in → logged in → refreshing)
✓ Anything where invalid state combinations cause bugs
✗ Overkill for simple toggles or trivial state
```

## Neden önemli

Durum makineleri, karmaşık durum bilgisine sahip mantığa **geçersiz durumları imkânsız** hale getirerek ve geçişleri **açık** hale getirerek katılık getirir — boolean kombinasyonlarının kırılgan karışımını net, tüm kapsamlı bir model ile değiştirir.

Özellikle karmaşık akışlar (sihirbazlar, ödemeler, kimlik doğrulama, medya) için değerlidir; burada boolean çorbası küçük, yeniden oluşturması zor olan hatalara yol açar.

Hatta gayri resmi olarak (`status` enum) fikir async durumunu iyileştirir; resmi olarak (XState) görselleştirilebilir, test edilebilir, sağlam mantık sağlar.

Onları ne zaman kullanacağını bilmek, olgun durum tasarımının bir işaretidir.