TypeScript 5.3-5.4: Yeni Daraltma ve NoInfer

TypeScript 5.3'e Genel Bakış

// npm install typescript@5.3

Switch/Case Daraltmasında İyileştirme

type Result = { status: "ok"; data: string } | { status: "err"; code: number };

function handle(r: Result) {
  switch (r.status) {
    case "ok":
      console.log(r.data);   // r: { status: "ok"; data: string } — narrowed
      break;
    case "err":
      console.log(r.code);   // r: { status: "err"; code: number } — narrowed
      break;
  }
}

JSDoc Tür İçe Aktarma

/** @import { User } from "./types.js" */

/** @param {User} user */
function greet(user) {
  console.log(user.name);
}

import type İçinde Çözümleme Modu

import type { User } from "some-library" with { "resolution-mode": "require" };

TypeScript 5.4'e Genel Bakış

// npm install typescript@5.4

NoInfer<T> Yardımcı Türü

function createStore<T>(initial: T, onChange: (val: NoInfer<T>) => void) {
  // T inferred from initial, not from onChange callback
}

createStore({ count: 0 }, (val) => {
  // val: { count: number } — inferred from initial only
});

NoInfer Neden Önemlidir

// Before NoInfer: T may be widened by the callback
function createStore<T>(initial: T, onChange: (val: T) => void) {}
createStore({ count: 0 }, (val: { count: number; extra: string }) => {});
// T widened to include extra — not what we want

Kapanışlardan Sonra Korunan Daraltma

function process(val: string | null) {
  if (!val) return;
  // val: string
  setTimeout(() => {
    console.log(val.toUpperCase()); // TS 5.4: still string — not widened
  }, 100);
}

Object.groupBy Türleri

const users = [
  { name: "Alice", role: "admin" },
  { name: "Bob", role: "user" },
];
const grouped = Object.groupBy(users, (u) => u.role);
// grouped: { [role: string]: { name: string; role: string }[] }

Geliştirilmiş Bildirim Çıktısı

// Fewer "Type ... is not assignable to type ..." errors
// in generated declaration files from TS 5.4 onward

Özet: TS 5.3-5.4

Hızlı Kontrol

Öğrendikleriniz