Recursive Pattern

建立：2026-05-19 · 最後編輯：2026-05-19

Map Pattern

type SomeMapLoop<List> =
  List extends [infer First, ...infer Rest]
    ? [ /* ... 🤖 your logic */ , ...SomeMapLoop<Rest>]
    : [];

Filter Pattern

type SomeFilter<List> =
  List extends [infer First, ...infer Rest]
    ? First extends  /* ... ❓ your condition */
      ? [First, ...SomeFilter<Rest>]
      : SomeFilter<Rest>
    : [];

Reduce Pattern

type SomeReduce<Tuple, Acc = /* ... 📦 initial value */> =
  Tuple extends [infer First, ...infer Rest]
  ? SomeReduce<Rest, /* ... 🤖 logic */>
  : Acc;