Type Conversion এবং Type Checking গাইড ও নোট

প্রোগ্রামিং ভাষায় টাইপ কনভারশন এবং টাইপ চেকিং দুটি গুরুত্বপূর্ণ ধারণা। এই দুটি ধারণা ডেটার টাইপ সম্পর্কিত কার্যাবলী নিয়ন্ত্রণ করে, যাতে প্রোগ্রাম সঠিকভাবে কাজ করে এবং ডেটার মধ্যে সঠিক রূপান্তর ও যাচাইকরণ করা হয়।

টাইপ কনভারশন (Type Conversion)

টাইপ কনভারশন হলো একটি ডেটা টাইপের মানকে অন্য ডেটা টাইপে রূপান্তর করার প্রক্রিয়া। প্যাসক্যালের মতো ভাষায় টাইপ কনভারশন সাধারণত দুইভাবে হয়ে থাকে:

1. অটো টাইপ কনভারশন (Implicit Type Conversion):

   • এই প্রক্রিয়ায় কম্পাইলার স্বয়ংক্রিয়ভাবে একটি টাইপ থেকে অন্য টাইপে ডেটা রূপান্তর করে। এটি তখন ঘটে যখন একটি কম্প্যাটিবল টাইপে ডেটা রূপান্তরের প্রয়োজন হয়, যেমন পূর্ণসংখ্যা (Integer) থেকে দশমিক (Real) রূপান্তর।

   উদাহরণ:

   var
     a: Integer;
     b: Real;
   begin
     a := 10;
     b := a;  // implicit type conversion from Integer to Real
     writeln(b);  // Output: 10.0
   end.

2. এক্সপ্লিসিট টাইপ কনভারশন (Explicit Type Conversion):

   • এক্সপ্লিসিট টাইপ কনভারশনে প্রোগ্রামার নিজে টাইপ রূপান্তর নির্দেশ করেন। এটি সাধারণত typecasting বা type conversion functions ব্যবহার করে করা হয়।

   উদাহরণ:

   var
     a: Real;
     b: Integer;
   begin
     a := 5.75;
     b := Round(a);  // explicit type conversion from Real to Integer
     writeln(b);  // Output: 6
   end.

   এখানে Round ফাংশনটি Real টাইপের মানকে Integer টাইপে কনভার্ট করে।

টাইপ চেকিং (Type Checking)

টাইপ চেকিং হলো একটি প্রক্রিয়া যা প্রোগ্রামটি কম্পাইল করার সময় নিশ্চিত করে যে টাইপগুলো সঠিকভাবে ব্যবহৃত হচ্ছে এবং কোন ধরনের টাইপের মধ্যে অযৌক্তিক রূপান্তর বা অপারেশন হচ্ছে না। এটি প্রোগ্রামারকে টাইপ সম্পর্কিত ত্রুটি এবং ভুল কম্পাইলেশনের পূর্বে চিহ্নিত করতে সাহায্য করে।

টাইপ চেকিং সাধারণত দুই ধরনের হয়:

1. স্ট্যাটিক টাইপ চেকিং (Static Type Checking):

   • এই প্রক্রিয়ায় টাইপ চেকিং কম্পাইলার পর্যায়ে ঘটে, যখন কোডটি কম্পাইল করা হয়। এটি সাধারণত ডাইনামিক টাইপিং না ব্যবহার করে টাইপ সিস্টেমের মধ্যে ভুল টাইপ বা অপারেশন চেক করে। স্ট্যাটিক টাইপ চেকিংয়ের কারণে কোডটি নিরাপদ থাকে, কারণ টাইপ সম্পর্কিত ভুলগুলো কোডের সময়ই ধরতে পারে।

   উদাহরণ:

   var
     a: Integer;
     b: String;
   begin
     a := 10;
     b := a;  // Error: Incompatible types: Integer and String
   end.

   এখানে a (Integer) এবং b (String) এর মধ্যে মান হস্তান্তর করা হয়েছে, যা স্ট্যাটিক টাইপ চেকিং দ্বারা একটি ত্রুটি হিসেবে চিহ্নিত হবে।

2. ডাইনামিক টাইপ চেকিং (Dynamic Type Checking):

   • এই প্রক্রিয়ায় টাইপ চেকিং রানটাইমে (প্রোগ্রাম চলার সময়) ঘটে। এটি তখন হয় যখন টাইপ চেকিং কম্পাইলার পর্যায়ে না হয়ে প্রোগ্রাম রান করার সময় করা হয়। সাধারণত, ডাইনামিক টাইপিং ভাষাগুলিতে এই চেকিং করা হয়।

   উদাহরণ (ডাইনামিক টাইপিং):

   var
     a: Variant;
   begin
     a := 'Hello, World!';
     writeln(a);  // Output: Hello, World!
     a := 10;
     writeln(a);  // Output: 10
   end.

   এখানে a একটি Variant টাইপ, যা ডাইনামিকভাবে টাইপ চেকিংয়ের মাধ্যমে মান গ্রহণ করতে পারে। এটি রানটাইমে যে কোন টাইপে কনভার্ট হতে পারে।

সারাংশ

• টাইপ কনভারশন (Type Conversion) ডেটার একটি টাইপ থেকে অন্য টাইপে রূপান্তরের প্রক্রিয়া। এটি অটো বা এক্সপ্লিসিট হতে পারে।
• টাইপ চেকিং (Type Checking) একটি প্রক্রিয়া যা প্রোগ্রামটির টাইপ সঠিক কিনা তা যাচাই করে, যাতে টাইপ সম্পর্কিত কোনো ত্রুটি না ঘটে। এটি স্ট্যাটিক বা ডাইনামিক হতে পারে।

এ দুটি ধারণা প্রোগ্রামিংয়ে সঠিক টাইপ ব্যবহারের জন্য গুরুত্বপূর্ণ এবং প্রোগ্রামারকে কোডের ভুল বা ত্রুটি কমাতে সাহায্য করে।