0Pricing
TypeScript Academy · 강의

Effect 타입

Effect 를 이해합니다.

Effect 타입은(는) CoddyKit의 무료 TypeScript Academy 강의입니다. 이것은 4개 중 2번째 강의입니다. 아래에서 전체 강의를 무료로 읽을 수 있으며, 내장 코드 에디터와 24/7 AI 튜터와 함께 브라우저에서 직접 실습할 수 있습니다. 이 강의는 TypeScript Academy 학습 경로의 일부이며, 진행 상황이 웹과 CoddyKit 앱에 동기화됩니다. TypeScript Academy 강의에는 총 4개의 강의가 포함되어 있습니다.

Effect 타입

중심이 되는 타입은 Effect<Success, Error, Requirements>입니다. 세 가지 타입 매개변수는 계산이 수행할 수 있는 모든 것을 설명합니다. 무엇을 생성하는지, 어떻게 실패할 수 있는지, 무엇이 필요한지를 나타냅니다.

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

성공 채널(A)

첫 번째 매개변수는 성공할 때 생성되는 값입니다. Effect.succeed는 오류도 요구 사항도 없이 항상 값을 생성하는 이펙트를 만듭니다.

import { Effect } from "effect";

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

오류 채널(E)

두 번째 매개변수는 타입으로 표현되는 오류입니다. never는 이펙트가 실패할 수 없다는 뜻입니다. 실제 오류 타입이 있다면 호출자는 해당 오류를 고려해야 합니다.

import { Effect } from "effect";

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

요구 사항 채널(R)

세 번째 매개변수는 이펙트가 의존하는 서비스를 나열합니다. never는 자체적으로 완결되어 있다는 뜻이며, 그렇지 않다면 해당 서비스가 제공될 때까지 실행할 수 없습니다.

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

시그니처 읽기

이펙트 타입은 문장처럼 읽을 수 있습니다. "R이 주어지면 A를 생성하거나 E로 실패합니다"라는 뜻입니다. 이 하나의 타입이 프로미스와 암묵적인 예외 발생, 숨겨진 전역 값을 대신합니다.

동일원소로서의 never

never는 E 채널과 R 채널에서 중립적인 값입니다. 가능한 오류가 없고 필요한 의존성도 없다는 뜻입니다. 이펙트를 조합하면 오류 타입과 요구 사항 타입이 합집합으로 누적됩니다.

값으로 이펙트 만들기

일반적인 생성자는 다음과 같습니다. succeed는 순수한 값을 만들고, fail은 타입이 지정된 오류를 만들며, sync는 동기 부수 효과를 감쌉니다.

import { Effect } from "effect";

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

비동기 작업 감싸기

Effect.promise와 Effect.tryPromise는 프로미스를 이펙트로 변환합니다. tryPromise를 사용하면 거부를 E 채널의 타입 오류로 변환하도록 map을 적용할 수 있습니다.

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>

채널의 타입 별칭

서비스를 위해 Effect는 Effect.Effect<A, E, R>을 전체 이름으로 제공합니다. 채널은 서로 독립적이므로, 요구 사항 없이 오류가 있을 수도 있고 오류 없이 요구 사항이 있을 수도 있습니다.

채널이 세 개인 이유

세 채널은 코드를 이해하기 어렵게 만드는 세 가지를 포착합니다. 결과, 실패 방식, 그리고 코드가 실행되는 맥락입니다. 이 세 가지를 하나의 타입으로 드러내는 것이 Effect에 안전성을 부여합니다.

중요한 이유

Effect<A, E, R>를 이해하는 것은 나머지 모든 내용을 이해하는 열쇠입니다. 조합은 이 채널들을 결합하고, 오류 처리는 E를 좁히며, 의존성을 제공하면 R이 제거됩니다. 타입을 읽으면 계산이 정확히 무엇을 하는지 알 수 있습니다.

빠른 확인

Effect 타입에 대한 이해도를 확인하십시오.

복습

Effect<A, E, R>은 성공 값, 타입이 지정된 오류, 필요한 의존성을 하나의 타입에 인코딩합니다. never는 E와 R의 중립적인 값입니다. succeed, fail, sync, tryPromise와 같은 생성자는 적절한 채널을 가진 이펙트를 만듭니다.

자주 묻는 질문

“Effect 타입” 강의는 무료인가요?

네 — “Effect 타입” 전체 내용을 이 웹사이트에서 무료로 읽을 수 있습니다. 인터랙티브하게 실습하려면(내장 코드 에디터와 24/7 AI 튜터), CoddyKit PRO로 업그레이드하면 TypeScript Academy 강의 전체를 잠금 해제할 수 있습니다. TypeScript Academy 강의에는 총 4개의 강의가 포함되어 있습니다.

“Effect 타입”에서 뭘 배우나요?

Effect 를 이해합니다. 브라우저에서 직접 실행하는 실습 코드로 TypeScript Academy을(를) 배우며, 24/7 AI 튜터가 강의를 진행하면서 질문에 답변해줍니다.

TypeScript Academy을(를) 시작하는 데 경험이 필요한가요?

사전 경험은 필요하지 않습니다. CoddyKit의 TypeScript Academy은(는) 초급자부터 고급 학습자까지를 위해 구성되어 있으므로, 여기서 시작하거나 처음부터 시작할 수 있으며 자신의 속도대로 진행할 수 있습니다. 이것은 4개 중 2번째 강의입니다.

“Effect 타입” 강의는 얼마나 걸리나요?

대부분의 CoddyKit 강의는 약 5~10분이 소요됩니다. 각 강의는 간결하고 인터랙티브하여 꾸준한 진행이 가능하며, 웹과 앱에서 중단한 부분부터 바로 시작할 수 있습니다.

이 TypeScript Academy 강의에서 코드를 작성하고 실행할 수 있나요?

네. 모든 TypeScript Academy 강의에는 내장 코드 에디터가 포함되어 있으므로, 브라우저에서 바로 실제 코드를 작성하고 실행한 후 즉시 AI 피드백을 받을 수 있습니다 — 로컬 설정이 필요 없습니다.

이 강의의 모든 강의

  1. 효과 시스템이 중요한 이유
  2. Effect 타입
  3. 효과 조합
  4. 오류 채널과 의존성
← TypeScript Academy(으)로 돌아가기