tomevault-io TypeScript Strict Mode
TypeScript strict モードを有効にした堅牢なコード記述のための包括的ガイド。
基本原則
3つの基礎ルール:
any型を使わない - 型情報が本当に不明な場合はunknownを使用- 型アサーションを最小化 - 明確な理由なく
as Type構文を避ける - アーキテクチャの区別 -
interfaceは振る舞いの契約に、typeは不変データ構造に使用
主要アーキテクチャパターン
スキーマの組織化
バリデーションロジックを一元化して、エンドポイントやアダプター間での重複を防ぐ。src/schemas/ でスキーマを一度定義し、どこからでもインポートして「バリデーションの唯一の情報源」を確保する。
依存性注入
関数内で依存関係をインスタンス化しない。すべての協力者はパラメータとして注入する。これにより、インメモリ、データベース、リモートAPIなど「どの実装でも動作」し、完全なテスト可能性を維持できる。
Type vs Interface
- Interface: 実装契約を定義（リポジトリ、ゲートウェイ、サービス）
- Type:
readonlyプロパティを持つ不変データ構造を記述
不変性と関数型プログラミング
- すべてのデータ構造プロパティに
readonlyを使用 - ミュータブルな配列より
ReadonlyArray<T>を優先 - 予期されるエラーには例外ではなく
Result<T, E>型を使用 - 複雑なモノリシックなロジックより小さな純粋関数を組み合わせる
- 命令的ループより配列メソッド（
map、filter、reduce）を使用
設定と安全性
tsconfig.json の重要な設定:
{
"compilerOptions": {
"strict": true,
"noUncheckedIndexedAccess": true,
"exactOptionalPropertyTypes": true,
"noImplicitReturns": true,
"noFallthroughCasesInSwitch": true
}
}
これらの設定は、微妙なランタイムエラーをコンパイル時に検出する。
実践チェックリスト
-
any型を使用していない（unknownを検討） - 型アサーション（
as）には明確な理由がある - すべての依存関係が注入されている
- データ構造に
readonlyを使用している -
interfaceとtypeを適切に使い分けている - スキーマが一箇所で定義されている
- 配列操作に関数型メソッドを使用している
Converted and distributed by TomeVault — claim your Tome and manage your conversions.