TypeScript Academy · Les

Het Effect-type

Begrijp Effect

Les 2 van 413 stappen

Het Effect-type is een gratis TypeScript Academy-les op CoddyKit. Dit is les 2 van 4. Je kunt de volledige les hieronder gratis lezen en daarna in de browser praktisch oefenen met een ingebouwde code-editor en een AI-begeleider die 24/7 beschikbaar is. Deze les maakt deel uit van het leertraject TypeScript Academy. Je voortgang wordt gesynchroniseerd op het web en in de CoddyKit-app. De cursus TypeScript Academy bevat in totaal 4 lessen.

Het type Effect

Het centrale type is Effect<Success, Error, Requirements>. De drie typeparameters beschrijven alles wat een berekening kan doen: wat deze oplevert, hoe deze kan mislukken en wat deze nodig heeft.

import { Effect } from "effect";
// Effect<A, E, R>
//   A = success value type
//   E = error type
//   R = required services (dependencies)

Het succeskanaal (A)

De eerste parameter is de waarde die bij succes wordt geproduceerd. Effect.succeed maakt een effect dat altijd een waarde oplevert, zonder fouten en zonder vereisten.

import { Effect } from "effect";

const ok = Effect.succeed(42);
// Effect<number, never, never>

Het foutkanaal (E)

De tweede parameter is de getypeerde fout. never betekent dat het effect niet kan mislukken. Een echt fouttype betekent dat aanroepers er rekening mee moeten houden.

import { Effect } from "effect";

class NotFound { readonly _tag = "NotFound"; }
const failing = Effect.fail(new NotFound());
// Effect<never, NotFound, never>

Het vereistenkanaal (R)

De derde parameter vermeldt de diensten waarvan het effect afhankelijk is. never betekent dat het op zichzelf staat; anders kan het pas worden uitgevoerd wanneer die diensten zijn geleverd.

// Conceptually:
// Effect<User, NotFound, Database>
// produces a User, may fail with NotFound, needs a Database

Een signatuur lezen

Je kunt een effecttype lezen als een zin: “produceert A, of mislukt met E, gegeven R”. Dit ene type vervangt een Promise plus impliciete throw-instructies en verborgen globale waarden.

never als identiteit

never is de neutrale waarde voor de E- en R-kanalen: geen mogelijke fout en geen vereiste afhankelijkheid. Tijdens het combineren vormen fout- en vereistentypen samen unies.

Effecten maken vanuit waarden

Veelgebruikte constructeurs zijn: succeed (zuivere waarde), fail (getypeerde fout) en sync (een synchroon neveneffect omwikkelen).

import { Effect } from "effect";

const now = Effect.sync(() => Date.now());
// Effect<number, never, never>

Asynchroon werk omwikkelen

Effect.promise en Effect.tryPromise zetten promises om in effecten; met tryPromise kun je een afwijzing omzetten in een getypeerde fout in het E-kanaal.

import { Effect } from "effect";

const fetchUser = Effect.tryPromise({
  try: () => fetch("/user").then((r) => r.json()),
  catch: (e) => new Error("fetch failed: " + String(e)),
});
// Effect<any, Error, never>

Typealiassen voor kanalen

Voor diensten biedt Effect Effect.Effect<A, E, R> als de volledige naam. De kanalen staan los van elkaar: je kunt fouten zonder vereisten hebben, of vereisten zonder fouten.

Waarom drie kanalen

De drie kanalen leggen de drie zaken vast die code moeilijk te doorgronden maken: het resultaat, de manieren waarop het kan mislukken en de context waarin het wordt uitgevoerd. Doordat Effect ze alle drie in één type zichtbaar maakt, biedt het veiligheidsgaranties.

Waarom dit belangrijk is

Als je Effect<A, E, R> begrijpt, begrijp je de basis van al het andere: samenstelling combineert deze kanalen, foutafhandeling maakt E specifieker en het leveren van afhankelijkheden maakt R leeg. Lees het type en je weet precies wat een berekening doet.

Korte controle

Controleer of je het Effect-type begrijpt.

Beantwoord dit in de interactieve les

Samenvatting

Effect<A, E, R> legt de succeswaarde, de getypeerde fout en de vereiste afhankelijkheden vast in één type. never is de neutrale waarde voor E en R. Constructeurs zoals succeed, fail, sync en tryPromise bouwen effecten met de juiste kanalen.

Gratis beginnen

Leer TypeScript met een AI-tutor — gratis

Schrijf echte code en voer die uit in je browser, krijg direct hulp van een AI-tutor die 24/7 beschikbaar is en ga verder waar je gebleven bent op het web of in de app.

Cursussen: 101
Lessen: 352

Gratis beginnen met leren Bekijk de volledige cursus

Veelgestelde vragen

Is de les “Het Effect-type” gratis?

Ja — de volledige tekst van “Het Effect-type” kun je hier gratis op het web lezen. Als je interactief wilt oefenen met een ingebouwde code-editor en een AI-begeleider die 24/7 beschikbaar is, en de rest van de cursus TypeScript Academy wilt ontgrendelen, kun je upgraden naar CoddyKit PRO. De cursus TypeScript Academy bevat in totaal 4 lessen.

Wat leer ik in “Het Effect-type”?

Begrijp Effect Je oefent met TypeScript Academy door code rechtstreeks in de browser uit te voeren. Een AI-begeleider die 24/7 beschikbaar is beantwoordt je vragen terwijl je de les doorwerkt.

Heb ik ervaring nodig om met TypeScript Academy te beginnen?

Ervaring vooraf is niet nodig. TypeScript Academy op CoddyKit is opgebouwd voor beginners tot gevorderden, zodat je hier of bij het begin kunt starten en in je eigen tempo kunt leren. Dit is les 2 van 4.

Hoe lang duurt de les “Het Effect-type”?

De meeste lessen van CoddyKit duren ongeveer 5–10 minuten. Elke les is kort en interactief, zodat je gestaag vooruitgaat en op het web en in de app precies verdergaat waar je was gebleven.

Kan ik code schrijven en uitvoeren in deze les over TypeScript Academy?

Ja. Elke les over TypeScript Academy bevat een ingebouwde code-editor, zodat je rechtstreeks in je browser echte code kunt schrijven en uitvoeren en direct feedback van AI krijgt — lokale installatie is niet nodig.

Alle lessen in deze cursus

← Terug naar TypeScript Academy