Haskell এ Algebraic Data Types (ADT) এবং Pattern Matching
Haskell একটি শক্তিশালী ফাংশনাল প্রোগ্রামিং ভাষা, যেখানে Algebraic Data Types (ADT) এবং Pattern Matching এর মাধ্যমে শক্তিশালী ডেটা স্ট্রাকচার এবং সিদ্ধান্ত গ্রহণের ব্যবস্থা তৈরি করা যায়। ADT এবং Pattern Matching এর সমন্বয় আপনাকে ডেটা ম্যানিপুলেশন এবং লজিকাল সিদ্ধান্ত নিতে অত্যন্ত শক্তিশালী এবং পরিষ্কার উপায় প্রদান করে।
১. Algebraic Data Types (ADT)
Algebraic Data Types (ADT) হল Haskell এর একটি বিশেষ বৈশিষ্ট্য যা নতুন ডেটা টাইপ তৈরি করতে ব্যবহৃত হয়। এটি সাধারণত দুটি প্রধান ধরনে ভাগ করা হয়:
- Sum types (যে কোনো একটি বিকল্প হতে পারে)
- Product types (যেখানে একাধিক উপাদান একসাথে থাকে)
Sum Types (যে কোনো একটি বিকল্প হতে পারে)
Sum types এমন একটি ডেটা টাইপ যেখানে একাধিক বিকল্প হতে পারে, তবে শুধুমাত্র একটিই নির্বাচন করা হবে। এটি সাধারণত data কিওয়ার্ডের মাধ্যমে তৈরি করা হয়।
উদাহরণ: Maybe টাইপ (Sum Type)
data Maybe a = Nothing | Just aএখানে, Maybe হল একটি sum type ডেটা টাইপ, যা Nothing বা Just a (যেখানে a যেকোনো টাইপের হতে পারে) হতে পারে।
Nothing: কিছু নেই।Just a: কিছু আছে এবংaহল সেই মান।
ব্যবহার:
Prelude> Just 5
Just 5
Prelude> Nothing
Nothingএখানে, Just 5 হল একটি Maybe টাইপ যেটিতে একটি মান রয়েছে, এবং Nothing কোন মান নেই এমন একটি বিকল্প।
Product Types (একাধিক উপাদান একসাথে)
Product types হল ডেটা টাইপ যা একাধিক উপাদান ধারণ করে। একটি টিউপল (tuple) হ'ল একটি উদাহরণ।
উদাহরণ: Person টাইপ (Product Type)
data Person = Person String Intএখানে, Person একটি product type, যেখানে String এবং Int একত্রে একটি Person টাইপ তৈরি করেছে।
ব্যবহার:
Prelude> Person "Alice" 30
Person "Alice" 30এখানে, Person "Alice" 30 হল একটি Person টাইপ যেটিতে "Alice" নাম এবং 30 বয়স রয়েছে।
২. Pattern Matching (প্যাটার্ন ম্যাচিং)
Pattern Matching Haskell এর একটি গুরুত্বপূর্ণ বৈশিষ্ট্য যা Algebraic Data Types (ADT) এর সাথে ব্যবহৃত হয়। এটি ডেটা স্ট্রাকচারগুলির মান বা আকারের সাথে তুলনা করে কোডের বিভিন্ন অংশে সিদ্ধান্ত গ্রহণ করতে সহায়ক। আপনি pattern matching এর মাধ্যমে নির্দিষ্ট ডেটার উপর ভিত্তি করে ভিন্ন ভিন্ন কোডের ব্লক এক্সিকিউট করতে পারেন।
উদাহরণ ১: Maybe টাইপের সাথে Pattern Matching
describeMaybe :: Maybe a -> String
describeMaybe Nothing = "No value"
describeMaybe (Just x) = "Value: " ++ show xএখানে, describeMaybe ফাংশনটি Maybe টাইপের মান নেয় এবং এটি Nothing অথবা Just x এর সাথে pattern match করে বিভিন্ন আউটপুট দেয়।
ব্যবহার:
Prelude> describeMaybe (Just 5)
"Value: 5"
Prelude> describeMaybe Nothing
"No value"এখানে, Just 5 হলে "Value: 5" রিটার্ন হবে এবং Nothing হলে "No value" রিটার্ন হবে।
উদাহরণ ২: Person টাইপের সাথে Pattern Matching
greetPerson :: Person -> String
greetPerson (Person name age) = "Hello, " ++ name ++ ". You are " ++ show age ++ " years old."এখানে, greetPerson ফাংশনটি Person টাইপের মান নেয় এবং তার মধ্যে name এবং age এর উপর ভিত্তি করে একটি স্বাগত বার্তা তৈরি করে।
ব্যবহার:
Prelude> greetPerson (Person "Alice" 30)
"Hello, Alice. You are 30 years old."এখানে, greetPerson ফাংশনটি Person "Alice" 30 এর মধ্যে name এবং age কে আলাদা করে একটি বার্তা তৈরি করেছে।
৩. Pattern Matching with Guards (গার্ডস)
Guards Haskell এ pattern matching এর সাথে শর্ত (conditions) যোগ করার জন্য ব্যবহৃত হয়। এটি কোডের লজিক উন্নত করতে সহায়ক, বিশেষ করে যখন আপনাকে কিছু শর্ত পূরণের ভিত্তিতে সিদ্ধান্ত নিতে হয়।
উদাহরণ: Person টাইপের সাথে Guards
ageCategory :: Person -> String
ageCategory (Person name age)
| age < 18 = name ++ " is a child."
| age < 65 = name ++ " is an adult."
| otherwise = name ++ " is a senior."এখানে, ageCategory ফাংশনটি Person টাইপের মান নেয় এবং age এর মানের ভিত্তিতে বিভিন্ন সিদ্ধান্ত নেয়:
- যদি
age < 18হয়, তবে এটি "child" বলে আউটপুট দেয়। - যদি
age < 65হয়, তবে এটি "adult" বলে আউটপুট দেয়। - অন্যথায়, এটি "senior" বলে আউটপুট দেয়।
ব্যবহার:
Prelude> ageCategory (Person "Alice" 17)
"Alice is a child."
Prelude> ageCategory (Person "Bob" 30)
"Bob is an adult."
Prelude> ageCategory (Person "Charlie" 70)
"Charlie is a senior."এখানে, age এর মানের উপর ভিত্তি করে বিভিন্ন আউটপুট প্রদান করা হয়েছে।
৪. Pattern Matching and Recursive Functions
Pattern matching প্রায়ই রিকার্সিভ ফাংশনের সাথে ব্যবহৃত হয়, বিশেষ করে লিস্ট বা অন্যান্য ডেটা স্ট্রাকচারের উপর কাজ করতে। উদাহরণস্বরূপ, একটি ফাংশন যা লিস্টের মোট যোগফল হিসাব করে:
sumList :: [Int] -> Int
sumList [] = 0 -- Base case: empty list
sumList (x:xs) = x + sumList xs -- Recursive case: add the head to the sum of the tailএখানে, sumList একটি লিস্টের প্রথম উপাদান (x) নিয়ে তাকে বাকী লিস্টের যোগফলের সাথে যোগ করছে। এই রিকার্সনটি [] (খালি লিস্ট) পর্যন্ত চলতে থাকে, যেখানে রিটার্ন হবে 0।
ব্যবহার:
Prelude> sumList [1, 2, 3, 4, 5]
15এখানে, sumList ফাংশনটি লিস্টের সব উপাদান যোগ করেছে এবং ফলস্বরূপ 15 প্রদান করেছে।
উপসংহার
Algebraic Data Types (ADT) এবং Pattern Matching Haskell এ শক্তিশালী বৈশিষ্ট্য যা ডেটা স্ট্রাকচার এবং সিদ্ধান্ত গ্রহণ প্রক্রিয়াকে অত্যন্ত কার্যকরী এবং পরিষ্কার করে তোলে। ADT এর মাধ্যমে আপনি নতুন ডেটা টাইপ তৈরি করতে পারেন এবং Pattern Matching এর মাধ্যমে সেই ডেটা টাইপের উপাদানগুলির সাথে সহজে কাজ করতে পারেন। আপনি যদি guards এবং recursive functions এর সাথে pattern matching ব্যবহার করেন, তবে এটি কোডের জটিলতা কমিয়ে আনে এবং বেশি কার্যকরী করে তোলে।
Read more
