never টাইপ কী এবং এটি exhaustiveness চেক কীভাবে সক্ষম করে?

Question

Accepted Answer

`never` হল এমন মানগুলির প্রকার যা **কখনও ঘটে না** — একটি ফাংশন যা কখনও রিটার্ন করে না (ব্যতিক্রম নিক্ষেপ করে বা চিরকাল লুপ করে), অথবা একটি শাখা যা কম্পাইলার প্রমাণ করেছে যে অসম্ভব। এটি *খালি* প্রকার: `never`-এ কোনও মান বরাদ্দযোগ্য নয় (`never` নিজেকে ছাড়া)।

```ts
function fail(msg: string): never { throw new Error(msg); } // never returns
function loop(): never { while (true) {} }
```

## কেন never উপকারী: exhaustiveness চেকিং

যখন আপনি একটি ইউনিয়ন কিছুতে সংকীর্ণ করেন, TypeScript অবশিষ্ট মানটি `never` হিসাবে টাইপ করে। আপনি প্রতিটি ক্ষেত্রের পরিচালনা জোর দিতে এটি ব্যবহার করেন:

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

function area(s: Shape): number {
  switch (s.kind) {
    case "circle": return Math.PI * s.r ** 2;
    case "square": return s.side ** 2;
    default:
      // if all cases are handled, s is `never` here — assignment OK
      const _exhaustive: never = s;
      return _exhaustive;
  }
}
```

এখন যদি কেউ `Shape`-এ `{ kind: "triangle"; ... }` যোগ করে কিন্তু একটি ক্ষেত্র ভুলে যায়, তাহলে ডিফল্টে `s` হল ত্রিভুজ প্রকার (`never` নয়), তাই `const _exhaustive: never = s` **কম্পাইল করতে ব্যর্থ হয়** — আপনাকে ঠিক কোন switch আপডেট করতে হবে তা নির্দেশ করে।

## never বনাম void

```ts
function a(): void {}   // returns normally, just no value
function b(): never { throw "x"; } // never returns at all
```

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

`never` "আমি কি প্রতিটি ক্ষেত্রে পরিচালনা করেছি?" থেকে রানটাইম আশাকে কম্পাইল-সময় গ্যারান্টিতে রূপান্তরিত করে।

এটি বৈষম্যমূলক ইউনিয়নের নিরাপদ, ভবিষ্যত-প্রমাণ পরিচালনার চাবিকাঠি — একটি ভেরিয়েন্ট যোগ করুন এবং কম্পাইলার প্রতিটি জায়গা গণনা করে যা আপনি আপডেট করতে অবশ্যই।