تجنّب عمليات الأنواع المكلفة

ما الذي يجعل عملية الأنواع مكلفة؟

// Expensive: distributes over every member of a large union
type FilterStrings<T> = T extends string ? T : never;
type Result = FilterStrings<string | number | boolean | null | undefined | ...>;

تجنّب أحجام الاتحادات المفرطة

// Expensive
type HugeUnion = "a" | "b" | "c" | /* 200 more ... */ "z";
// Better: string with a runtime check
function isValid(s: string): s is ValidString { return VALID_SET.has(s); }

فضّلوا الواجهات على الأسماء المستعارة المعقدة للأنواع

// Slow: recomputed union intersection each time
type BigObject = TypeA & TypeB & TypeC & TypeD;
// Fast: interface (cached)
interface BigObject extends TypeA, TypeB, TypeC, TypeD {}

حدّدوا عمق العودية

type Flatten<T, Depth extends number[] = []> =
  Depth["length"] extends 10 ? T
  : T extends (infer U)[] ? Flatten<U, [...Depth, 0]>
  : T;

خزّنوا الأنواع الوسيطة مؤقتًا

// Before: recomputed at each use
type MyResult<T> = T extends SomeComplex<infer U> ? Transform<U> : never;

// After: split into named intermediates
type ExtractU<T> = T extends SomeComplex<infer U> ? U : never;
type MyResult<T> = Transform<ExtractU<T>>;

تجنّبوا الأنواع المعيّنة العميقة على الكائنات الكبيرة

// Expensive on 50-property nested objects
type Safe = DeepReadonly<HugeConfig>;
// Better: annotate at creation time with const assertions

استخدموا التقييم الكسول للأنواع العامة

// Lazy evaluation via wrapper
type Lazy<T> = () => T;
type ExpensiveLazy = Lazy<DeepReadonly<HugeConfig>>;

فضّلوا أنواع الإرجاع الصريحة

// Let TypeScript infer (may be slow for complex functions)
function process(data: Input) { return transform(data); }

// Faster: explicit annotation
function process(data: Input): Output { return transform(data); }

isolatedDeclarations للفحص المتوازي

// tsconfig.json
{
  "compilerOptions": {
    "isolatedDeclarations": true
  }
}

مراجع المشاريع للعزل

# With project references:
# tsc --build only recompiles packages whose sources changed
# Unchanged packages: declaration files used directly

مراجعة: تجنّب الأنواع المكلفة

تحقّق سريع

ما تعلّمتموه