Çfarë janë makina me gjendje dhe kur ndihmojnë?

Question

Accepted Answer

Një **makinë me gjendje** modelon një sistem si një grup i fundëm i **gjendjeve** plus **tranzicioneve** të lejuara ndërmjet tyre. Në vend që të luftosh me flamuj boolean të pavarur, ti përcakton saktësisht se cilat gjendje ekzistojnë dhe cilat tranzicione janë ligjore — duke e bërë gjendje të pamundura të pareprezentueshme.

## Problemi: kaos boolean

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

Me flamuj të pavarur, asgjë nuk parandalon kombinacione kontradiktore, dhe ti duhet të i mbash ato të qëndrueshme manualisht në çdo tranzicion — një magnet për të meta.

## Modeli i makinës me gjendje

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

Një variabël e vetme `state` mban gjendjen aktuale; një `event` shkakton një tranzicion *të përcaktuar*. Tranzicionet e ndaluara (p.sh. SUCCESS ndërsa në qetësi) thjesht nuk mund të ndodhin — gjendet e pamundura kanë zhdukur sipas dizajnit.

## Mjetet në botën reale: 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" } },
  },
});
```

## Kur makina me gjendje ndihmojnë

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

## Pse është e rëndësishme

Makina me gjendje sjellin rigorozitet në logjikën e gjendjeve komplekse duke i bërë **gjendje të pavlefshme të pamundura** dhe tranzicione **të qarta** — duke zëvendësuar kombinacione të brishtë boolean me një model të qartë, të plotë.

Ato janë veçanërisht të vlefshme për rrjedha të ndërlikuara (magjistrate, pagesa, autentikimi, media) ku kaosi boolean çon në këtu, për të meta të vështira për t'u riprodhuarr.

Caktu edhe joformalisht (enum `status`) ideja përmirëson gjendjen async; formalisht (XState) ofron logjikë të vizualizueshme, të testabile, të sigurt.

Dija kur të përqafosh ato është shenjë e dizajnit të gjendjeve të pjekur.