내가 Effect를 좋아하는 이유

declare function getNumber(): Promise<number>;

const result = await getNumber();

try {
  const result = await getNumber();
} catch (err /* $ExpectType unknown */) {
}

try {
  const result = await getNumber();
} catch (err) {
  if (err instanceof Error) {
    console.error(err);
  }
}

try {
  const result = await getNumber();
} catch (err) {
  if (err instanceof Error) {
    console.error(err);
  }

  throw err;
}

initNumberRepository();

try {
  const result = await getNumber();
} catch (err) {
  if (err instanceof Error) {
    console.error(err);
  }

  throw err;
}

Introducing Effect

Effect.Effect<R, E, A>

• R - Requirements: 해당 Effect를 실행하는데 필요한 컨텍스트(의존성)을 의미한다. 해당 인자가 never인 경우, 별도의 컨텍스트를 필요로 하지 않는다.

• E - Error: 해당 Effect가 발생시킬 수 있는 오류들을 의미한다. 해당 인자가 never인 경우, 절대로 실패하지 않는다. 즉, 오류가 발생하지 않는다.

• A - Value: 해당 Effect가 성공적으로 처리될 경우 반환되는 값의 타입을 의미한다. 위의 두 인자와는 다르게, 해당 인자가 never인 경우, 해당 Effect는 영원히 실행(또는 실패할 때 까지 실행)됨을 의미한다. 해당 인자가 void인 경우, 함수의 리턴 타입과 비슷하게 유의미한 값에 대한 정보가 없다는 것을 의미힌다.

declare function getNumber(): Effect.Effect<
  NumberRepository,
  NoLuck,
  number
>;

• 이 Effect는 NumberRepository 라는 환경을 필요로 한다. 이 Effect를 처리하려면 해당 컨텍스트를 주입해야 한다는 정보를 얻을 수 있다.

• 이 Effect는 실패하면 NoLuck 이라는 에러가 발생한다. (아마 운이 안좋으면 발생할 것이다)

• 이 Effect가 성공하면 number 타입의 값을 얻을 수 있다.

const result = pipe(
  getNumber(),
  Effect.catchTags({
    // NoLuck 키에 대한 타입 힌트가 제공된다.
    NoLuck: (error /* $ExpectType NoLuck */) => Effect.succeed(-1),
  }),
)

// $ExpectType Effect.Effect<never, never, number>
const result = pipe(
  getNumber(),
  Effect.catchTags({
    NoLuck: () => Effect.succeed(-1),
  }),
  Effect.provideContext(NumberRepositoryLive),
)

// $ExpectType number
const result = pipe(
  getNumber(),
  Effect.catchTags({
    NoLuck: () => Effect.succeed(-1),
  }),
  Effect.provideContext(NumberRepositoryLive),
  Effect.runSync,
)

Effect의 좋은 점

Just TypeScript

pnpm install effect

의존성 관리

export interface NumberRepository {
  readonly get(): Effect.Effect<never, NoLuck, number>;
}

export const NumberRepository = Context.Tag<NumberRepository>();

// $ExpectType Effect.Effect<NumberRepository, NoLuck, number>
const program = pipe(
  NumberRepository,
  Effect.flatMap(numberRepo => numberRepo.get())
)

const program = pipe(
  NumberRepository,
  Effect.flatMap(numberRepo => numberRepo.get())
)

const result = pipe(
  program,
  Effect.provideService(
    NumberRepository,
    NumberRepository.of({ get: () => Effect.succeed(42) })
  )
  Effect.runSync,
)

console.log(result); // 42

Effect.gen

// $ExpectType Effect.Effect<NumberRepository, NoLuck, number>
Effect.gen(function* (_) {
  const numberRepository = yield* _(NumberRepository);
  const result = yield* numberRepository.get();

  return result;
})

• https://www.effect.website/docs/introduction

• Effect: Typescript That Scales (YouTube)