Hva er tilstandsmaskiner og når hjelper de?

Question

Accepted Answer

En **tilstandsmaskina** modellerer et system som et endelig sett av **tilstander** pluss tillatte **overganger** mellom dem. I stedet for å håndtere uavhengige boolske flagg, definerer du nøyaktig hvilke tilstander som finnes og hvilke overganger som er lovlige — noe som gjør umulige tilstander urepresentable.

## Problemet: boolsk kaos

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

Med uavhengige flagg, ingenting hindrer motstridende kombinasjoner, og du må manuelt holde dem konsistente ved hver overgang — en bugfelle.

## Tilstandsmaskina-modellen

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

En enkelt `state`-variabel holder den gjeldende tilstanden; en `event` utløser en *definert* overgang. Ulovlige overganger (f.eks. SUCCESS mens idle) kan ganske enkelt ikke skje — de umulige tilstandene er borte ved design.

## Verktøy i virkeligheten: 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" } },
  },
});
```

## Når tilstandsmaskiner hjelper

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

## Hvorfor det betyr noe

Tilstandsmaskiner bringer strenghet til kompleks statlig logikk ved å gjøre **ugyldige tilstander umulige** og overganger **eksplisitte** — de erstatter skjøre kombinasjoner av boolske verdier med en klar, uttømmende modell.

De er spesielt verdifulle for intrikate flyter (guider, betalinger, autentisering, media) der boolsk kaos fører til subtile, vanskelig reproduserbare bugs.

Selv uformelt (en `status` enum) forbedrer ideen asynk tilstand; formelt (XState) gir det visualiserbar, testbar, robust logikk.

Å vite når man skal bruke dem er et tegn på moden tilstands-design.