functional-domain-modeling-ts

Functional Domain Modeling (TypeScript)

class / interface を使わず、データ = 型、振る舞い = 関数で構成する TypeScript スタイル。Scott Wlaschin『Domain Modeling Made Functional』の流儀を TypeScript のイディオムに落としたもの。正準実装例は j5ik2o/event-store-adapter-js packages/library。

適用条件: 方式依存。プロジェクトがこのスタイルを採用する場合のみ適用し、採用プロジェクトは memory/project.md にこのガイドへのポインタルールを追加する(索引 ../README.md の運用に従う)。

構成イディオム(5つ)

1. type エイリアスによる構造的契約 — interface の代替

契約はメソッドシグネチャを持つ type で定義する。実装側に implements 宣言は不要で、構造的互換で満たされる。

export type EventStore<AID extends AggregateId, /* ... */> = {
  persistEvent(event: E, expectedVersion: number): Promise<Result<void, EventStoreError>>;
  getLatestSnapshotById(id: AID): Promise<A | undefined>;
};

2. ファクトリ関数 + クロージャ — class の代替

コンストラクタの代わりに create* ファクトリ関数。private フィールドの代わりにクロージャ変数。返すオブジェクトリテラルは Object.freeze する。実装関数は internal/ に置き、公開はコンパニオンオブジェクト経由に限定する。

function createMemoryEventStore<...>(input = {}): EventStore<...> {
  const events = new Map(/* クロージャに閉じた可変状態 */);
  function appendEvent(id: string, event: E): void { /* 内部ヘルパー */ }
  return Object.freeze({
    async persistEvent(event, expectedVersion) { /* ... */ },
  });
}

3. コンパニオンオブジェクトパターン — static メンバの代替

同名の type と namespace を宣言マージし、コンストラクタ関数・ファクトリを namespace 側に置く(名前は Scala 由来)。namespace 自体も Object.freeze する。

export type Result<T, E> = { type: "ok"; value: T } | { type: "err"; error: E };

export namespace Result {
  export function ok<T>(value: T): Result<T, never> {
    return Object.freeze({ type: "ok", value });
  }
  export function err<E>(error: E): Result<never, E> {
    return Object.freeze({ type: "err", error });
  }
}

Object.freeze(Result);

利用側は Result.ok(x)、EventStore.createMemory(input) のように型名を経由して呼ぶ。

4. ブランド型 + スマートコンストラクタ — 公称型の擬似再現

プリミティブに unique symbol のブランドを交差させ、検証を通ったコンパニオンの create だけがその型を作れるようにする(parse-dont-validate の型システム版)。