টাইপ ন্যারোয়িং (Type Narrowing) কী এবং কম্পাইলার এটি কীভাবে করে?

Question

Accepted Answer

**Narrowing** হল যেভাবে TypeScript একটি বিস্তৃত টাইপ (যেমন union) কে রানটাইম চেকের উপর ভিত্তি করে কোডের একটি শাখায় আরও নির্দিষ্ট টাইপে পরিমার্জিত করে। কম্পাইলার নিয়ন্ত্রণ প্রবাহ ট্র্যাক করে এবং সেই অনুযায়ী টাইপ আপডেট করে।

```ts
function process(x: string | number) {
  if (typeof x === "string") {
    x.toUpperCase(); // ✅ here x is narrowed to string
  } else {
    x.toFixed(2);    // ✅ here x must be number
  }
}
```

## ন্যারোয়িং টুলস

```ts
typeof x === "string"          // typeof guard — for primitives
x instanceof Date              // instanceof — for classes
"role" in obj                  // in operator — property existence
Array.isArray(x)               // built-in guards
if (x) { ... }                  // truthiness narrows out null/undefined/0/""
if (x === null) { ... }         // equality narrowing
```

## বিভক্ত union পরিষ্কারভাবে ন্যারো করে

```ts
type Shape =
  | { kind: "circle"; r: number }
  | { kind: "square"; side: number };

function area(s: Shape) {
  switch (s.kind) {            // the discriminant
    case "circle": return Math.PI * s.r ** 2;  // s is the circle variant
    case "square": return s.side ** 2;          // s is the square variant
  }
}
```

শেয়ারড লিটারাল ফিল্ড (`kind`) চেক করা কম্পাইলারকে বলে দেয় আপনার কোন ভ্যারিয়েন্ট আছে, যা সেই ভ্যারিয়েন্টের প্রপার্টিগুলি আনলক করে।

## কাস্টম গার্ডস ন্যারোয়িং প্রসারিত করে

```ts
function isUser(x: unknown): x is User { return !!x && typeof (x as any).name === "string"; }
```

## কেন এটি গুরুত্বপূর্ণ

ন্যারোয়িং হল যা union টাইপগুলিকে *ব্যবহারযোগ্য* করে তোলে — এটি আপনাকে টাইপ প্রমাণ করার পরেই টাইপ-নির্দিষ্ট সদস্যগুলিতে নিরাপদে অ্যাক্সেস করতে দেয়, রানটাইম চেকগুলিকে কম্পাইল-টাইম গ্যারান্টিতে পরিণত করে।

এটি `string | number`, `T | null` এবং ট্যাগড স্টেট পরিচালনার পিছনের দৈনন্দিন প্রক্রিয়া।