0Pricing
TypeScript Academy · レッスン

エフェクトシステムが重要な理由

副作用と失敗を明示的かつ組み合わせ可能にします。

「エフェクトシステムが重要な理由」はCoddyKit上の無料TypeScript Academyレッスンです。 これはレッスン1/4です。 下記で完全なレッスンを無料で読むことができます。その後、ブラウザ内の組み込みコードエディタと24時間対応のAIチューターでハンズオン演習できます。 これはTypeScript Academy学習パスの一部であり、ウェブとCoddyKitアプリ全体で進捗が同期されます。 TypeScript Academyコースには全4レッスンが含まれています。

エフェクトシステムが重要な理由

エフェクトシステムは、副作用、失敗、依存関係を型システム上で明示的かつ合成可能にします。隠れた throw や暗黙の I/O の代わりに、すべてのエフェクトを渡したり変換したり組み合わせたりできる値として扱います。

生の async/throw の問題点

単純な async/await と throw の組み合わせでは、重要な情報が隠れてしまいます。関数シグネチャからは、どのようなエラーを投げる可能性があるか、どのリソースが必要かが分かりません。

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);
}

エラーが見えない

Promise<User> からは、失敗の種類がまったく分かりません。呼び出し側は処理すべきエラーを把握できないため、必要以上に広く捕捉するか、一部のケースを完全に見落としてしまいます。

依存関係が暗黙的

上の関数は、データベースに暗黙的に依存しています。その依存関係はグローバルや import から取得されるため、テストや差し替えが難しくなり、本当の契約も隠れてしまいます。

エフェクト値とは何か

エフェクトは計算そのものではなく、計算の記述です。エフェクトを構築しても何も起こらず、後から実行します。これにより、エフェクトをデータと同じように合成できる純粋な値として扱えます。

import { Effect } from "effect";

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

明示的な失敗

エフェクトは発生する可能性のあるエラーを型に持つため、コンパイラーによって、それらを意図的に処理または伝播するよう求められます。

import { Effect } from "effect";

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

明示的な依存関係

エフェクトは必要なサービスも型で追跡します。Database を必要とする計算はそのことを型で示し、サービスが提供されるまで実行できません。

合成可能性

エフェクトは値なので、配列や Promise と同じように、演算子（map、flatMap、zip）で組み合わせられます。同時に、エラーと依存関係のチャネルも自動的に引き継がれます。

遅延実行

明示的にエフェクトを実行するまで、何も起こりません（例: Effect.runPromise）。記述と実行を分離することで、副作用を再度発生させずに、リトライ、割り込み、テストを行えます。

import { Effect } from "effect";

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

Promise との比較

Promise は即時実行され、エラーが型付けされておらず、依存関係も把握しません。一方、Effect は遅延実行され、エラーが型付けされ、依存関係も認識します。つまり、保持する情報が厳密に多い上位互換です。

重要な理由

エフェクト、エラー、依存関係を明示的にすると、コンパイラーが正しい処理を強制でき、依存関係を差し替えてコードをテストでき、複雑な非同期処理も確実に合成できます。これが Effect-TS のようなライブラリの背景にある動機です。

理解度チェック

エフェクトシステムが重要な理由について理解できているか確認してください。

まとめ

エフェクトシステムは、副作用、失敗、依存関係を明示的にします。即時実行され、エラーを認識せず、依存関係を隠す Promise とは異なり、エフェクトは遅延実行され、合成可能な計算の記述です。その型には成功、エラー、必要な依存関係の情報が含まれるため、信頼性の高い合成とテストが可能になります。

よくある質問

「エフェクトシステムが重要な理由」レッスンは無料ですか？

はい。「エフェクトシステムが重要な理由」の完全なテキストはこのウェブで無料で読めます。インタラクティブに演習し（組み込みコードエディタと24時間対応のAIチューター）、TypeScript Academyコースの残りをアンロックするには、CoddyKit PROにアップグレードしてください。 TypeScript Academyコースには全4レッスンが含まれています。

「エフェクトシステムが重要な理由」で何を学びますか？

副作用と失敗を明示的かつ組み合わせ可能にします。 ブラウザで直接実行するハンズオンコードでTypeScript Academyを演習し、24時間対応のAIチューターがレッスンを進める中での質問に答えます。

TypeScript Academyを始めるのに経験は必要ですか？

事前経験は必要ありません。CoddyKitのTypeScript Academyは初級者から上級者向けに構成されているため、ここから始めるか最初から始めて、自分のペースで進むことができます。 これはレッスン1/4です。

「エフェクトシステムが重要な理由」レッスンにはどのくらい時間がかかりますか？

ほとんどのCoddyKitレッスンは約5～10分かかります。各レッスンはコンパクトでインタラクティブなので、着実に進歩し、ウェブとアプリ全体で正確に前回の場所から再開できます。

このTypeScript Academyレッスンでコードを書いて実行できますか？

はい。すべてのTypeScript Academyレッスンに組み込みコードエディタが含まれているため、ブラウザでリアルコードを書いて実行し、即座のAIフィードバックを取得できます。ローカル設定は不要です。

このコースのすべてのレッスン

  1. エフェクトシステムが重要な理由
  2. Effect型
  3. エフェクトの合成
  4. エラーチャネルと依存関係
← TypeScript Academyに戻る