TypeScript Academy · leksjon

Hvorfor effektsystemer er viktige

Gjør sideeffekter og feil eksplisitte og komponerbare.

Leksjon 1 av 413 trinn

Hvorfor effektsystemer er viktige er en gratis leksjon i TypeScript Academy på CoddyKit. Dette er leksjon 1 av 4. Du kan lese hele leksjonen gratis nedenfor – og deretter øve praktisk i nettleseren med en innebygd kodeeditor og en AI-veileder som er tilgjengelig døgnet rundt. Den er en del av læringsløpet i TypeScript Academy, og fremdriften din synkroniseres mellom nettet og CoddyKit-appen. Kurset i TypeScript Academy inneholder totalt 4 leksjoner.

Hvorfor effektsystemer er viktige

Et effektsystem gjør bivirkninger, feil og avhengigheter eksplisitte og komponerbare i typesystemet. I stedet for skjulte throw-uttrykk og implisitt I/O er hver effekt en verdi som kan sendes rundt, transformeres og kombineres.

Problemer med rå async/throw

Vanlig async/await med throw skjuler viktig informasjon: Funksjonssignaturen sier ikke hvilke feil funksjonen kan kaste, eller hvilke ressurser den trenger.

async function getUser(id: number): Promise<User> {
  // may throw NotFoundError, may throw NetworkError
  // needs a database connection from... somewhere
  // none of this is in the type
  return await db.users.find(id);
}

Feil er usynlige

Promise<User> forteller ingenting om mulige feil. Kallere kan ikke vite hvilke feil de må håndtere, så de fanger enten for mange feil eller glemmer tilfeller helt.

Avhengigheter er implisitte

Funksjonen ovenfor er i stillhet avhengig av en database. Denne avhengigheten hentes fra en global variabel eller en import, noe som gjør testing og utskifting vanskeligere og skjuler den egentlige kontrakten.

Hva en effektverdi er

En effekt er en beskrivelse av en beregning, ikke selve beregningen. Det skjer ingenting når den bygges; den kjøres senere. Dermed blir effekter rene verdier som kan komponeres på samme måte som data.

import { Effect } from "effect";

// A description: produces number, no errors, no requirements
const program = Effect.succeed(42);
// Nothing has run yet.

Eksplisitte feil

Effekter har mulige feil i typen sin, slik at kompilatoren tvinger deg til å håndtere eller videreføre dem på en bevisst måte.

import { Effect } from "effect";

const risky = Effect.fail(new Error("boom"));
// type encodes that this can fail with Error

Eksplisitte avhengigheter

Effekter sporer også hvilke tjenester de krever, i typen sin. En beregning som trenger en Database, sier det eksplisitt og kan ikke kjøres før en slik tjeneste er tilgjengelig.

Komponerbarhet

Fordi effekter er verdier, kombinerer du dem med operatorer (map, flatMap, zip) på samme måte som arrayer eller promises, men med feil- og avhengighetskanalene automatisk videreført.

Utsatt kjøring

Ingenting skjer før du uttrykkelig kjører effekten (for eksempel med Effect.runPromise). Dette skillet mellom beskrivelse og kjøring gjør det mulig å prøve på nytt, avbryte og teste uten å utløse bivirkninger på nytt.

import { Effect } from "effect";

const program = Effect.succeed(1);
// Run at the edge of your app:
// const result = await Effect.runPromise(program);

Sammenligning med promises

En Promise er ivrig (kjøres umiddelbart), har ikke typede feil og kjenner ikke avhengighetene sine. En Effect er lat, har typede feil og er avhengighetsbevisst – den inneholder dermed strengt tatt mer informasjon.

Hvorfor dette er viktig

Når effekter, feil og avhengigheter gjøres eksplisitte, håndhever kompilatoren korrekt håndtering, koden blir testbar ved at avhengigheter kan byttes ut, og komplekse asynkrone flyter kan komponeres på en pålitelig måte. Dette er motivasjonen bak biblioteker som Effect-TS.

Kort kontroll

Test forståelsen Deres av hvorfor effektsystemer er viktige.

Besvar den i den interaktive leksjonen

Oppsummering

Effektsystemer gjør bivirkninger, feil og avhengigheter eksplisitte. I motsetning til ivrige promises som skjuler avhengigheter og ikke har typede feil, er en effekt en lat og komponerbar beskrivelse av en beregning. Typen inneholder informasjon om resultatet, feilen og kravene, noe som muliggjør pålitelig komposisjon og testbarhet.

Gratis å komme i gang

Lær deg TypeScript med en AI-veileder – gratis

Skriv og kjør ekte kode i nettleseren, få umiddelbar hjelp fra en AI-veileder som er tilgjengelig døgnet rundt, og fortsett der du slapp – på nettet eller i appen.

Kurs: 101
Leksjoner: 352

Start læringen gratis Se hele kurset

Ofte stilte spørsmål

Er leksjonen «Hvorfor effektsystemer er viktige» gratis?

Ja – hele teksten i «Hvorfor effektsystemer er viktige» er gratis å lese her på nettet. For å øve interaktivt med en innebygd kodeeditor og en AI-veileder som er tilgjengelig døgnet rundt, og for å låse opp resten av TypeScript Academy-kurset, kan du oppgradere til CoddyKit PRO. Kurset i TypeScript Academy inneholder totalt 4 leksjoner.

Hva lærer jeg i «Hvorfor effektsystemer er viktige»?

Gjør sideeffekter og feil eksplisitte og komponerbare. Du øver på TypeScript Academy med praktisk kode som du kjører direkte i nettleseren, mens en AI-veileder som er tilgjengelig døgnet rundt, svarer på spørsmålene dine mens du jobber deg gjennom leksjonen.

Trenger jeg erfaring for å begynne med TypeScript Academy?

Ingen tidligere erfaring er nødvendig. TypeScript Academy på CoddyKit er lagt opp for både nybegynnere og viderekomne, så De kan begynne her eller helt fra start og lære i Deres eget tempo. Dette er leksjon 1 av 4.

Hvor lang tid tar leksjonen «Hvorfor effektsystemer er viktige»?

De fleste CoddyKit-leksjoner tar omtrent 5–10 minutter. Hver leksjon er kort og interaktiv, slik at De gjør jevne fremskritt og kan fortsette akkurat der De slapp – både på nettet og i appen.

Kan jeg skrive og kjøre kode i denne TypeScript Academy-leksjonen?

Ja. Alle TypeScript Academy-leksjoner har en innebygd kodeeditor, slik at De kan skrive og kjøre ekte kode direkte i nettleseren og få umiddelbar tilbakemelding fra AI – uten lokal konfigurering.

Alle leksjonene i dette kurset

← Tilbake til TypeScript Academy