Τι είναι τα State Machines και πότε είναι χρήσιμα;

Question

Accepted Answer

Ένα **state machine** μοντελοποιεί ένα σύστημα ως ένα πεπερασμένο σύνολο **καταστάσεων** συν τις επιτρεπόμενες **μεταβάσεις** μεταξύ τους. Αντί να χειρίζεστε ανεξάρτητες boolean σημαίες, ορίζετε ακριβώς ποιες καταστάσεις υπάρχουν και ποιες μεταβάσεις είναι νόμιμες — καθιστώντας τις αδύνατες καταστάσεις μη αναπαριστάσιμες.

## Το πρόβλημα: boolean soup

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

Με ανεξάρτητες σημαίες, τίποτα δεν σταματά τις αντιφατικές συνδυασμούς και πρέπει να τις διατηρείτε συνεπή σε κάθε μετάβαση — πηγή σφαλμάτων.

## Το μοντέλο state machine

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

Μία μεμονωμένη μεταβλητή `state` διατηρεί την τρέχουσα κατάσταση· ένα `event` ενεργοποιεί μια *ορισμένη* μετάβαση. Παράνομες μεταβάσεις (π.χ. SUCCESS ενώ είστε αδράνεια) απλώς δεν μπορούν να συμβούν — οι αδύνατες καταστάσεις έχουν εξαλειφθεί κατά σχεδιασμό.

## Εργαλεία πραγματικού κόσμου: 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" } },
  },
});
```

## Πότε τα state machines είναι χρήσιμα

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

## Γιατί έχει σημασία

Τα state machines φέρνουν αυστηρότητα σε περίπλοκη κατάσταση λογικής κάνοντας **αμετάβλητες καταστάσεις αδύνατες** και μεταβάσεις **ρητές** — αντικαθιστώντας εύθραυστους συνδυασμούς boolean με ένα σαφές, εξαντλητικό μοντέλο.

Είναι ιδιαίτερα πολύτιμα για περίπλοκες ροές (οδηγούς, πληρωμές, έλεγχος ταυτότητας, πολυμέσα) όπου το boolean soup οδηγεί σε λεπτά, δύσκολα αναπαράγωγα bugs.

Ακόμη και ανεπίσημα (`status` enum) η ιδέα βελτιώνει την ασύγχρονη κατάσταση· επίσημα (XState) παρέχει οπτικοποιήσιμη, δοκιμάσιμη, ισχυρή λογική.

Το να ξέρετε πότε να καταφύγετε σε αυτά είναι σημάδι ώριμου σχεδιασμού κατάστασης.