TypeScript 5 के Updates

function functionName<const T extends readonly unknown[]>(param: T): T {
    return param;   // T is inferred as the narrowest literal type
}

function first<const T extends readonly unknown[]>(arr: T): T[0] {
  return arr[0];
}
const result = first(["a", "b", "c"]);
console.log(result);

function combine<T extends unknown[], U extends unknown[]>(a: [...T], b: [...U]): [...T, ...U] {
  return [...a, ...b];
}
console.log(combine([1, 2], ["a", "b"]));

function noop(): undefined {
  // no explicit return needed in TS 5.1+
}
console.log(noop());

class Resource {
  [Symbol.dispose]() {
    console.log("Resource disposed");
  }
}
function run() {
  using res = new Resource();
  console.log("Using resource");
}
run();

type Value = "a" | "b" | "c";
function check(v: Value) {
  switch (true) {
    case v === "a":
      return "is a";
    default:
      return "other";
  }
}
console.log(check("a"));

Utility Types में Parameters · Utility Types में ReturnType · Utility Types में NonNullable · Utility Types - Exclude और Extract

1. TypeScript 5.0 से पहले वाले versions पर const type parameters उपयोग करना, जहां यह एक syntax error है।
2. Symbol.dispose support न करने वाले target/library के साथ, या [Symbol.dispose] method न रखने वाली value पर using declarations उपयोग करना।
3. यह उम्मीद करना कि const T inferred type को readonly बना देगा जब constraint unknown[] जैसा एक mutable array हो।

• Mapped, conditional, और template literal types मौजूदा types से नए types बनाते हैं।
• Custom type guards, assertion functions, control flow analysis, exhaustiveness checking, और satisfies compiler को narrow और validate करने में मदद करते हैं।
• Partial, Pick, Omit, Record, और ReturnType जैसे Built-in utility types types को फिर से लिखे बिना transform करते हैं।