স্কালা টাইপ সিস্টেম এবং টাইপ ক্লাস

স্কালা একটি শক্তিশালী এবং নমনীয় টাইপ সিস্টেম প্রদান করে, যা কম্পাইল টাইমে ত্রুটি সনাক্তকরণে সাহায্য করে এবং কোডের সুরক্ষা বাড়ায়। স্কালার টাইপ সিস্টেমের সাহায্যে আপনি টাইপ ইন্ডিফিনেশন এবং টাইপ ক্লাস তৈরি করতে পারেন, যা ফাংশনাল প্রোগ্রামিংয়ের আরও উন্নত ফিচার হতে পারে। এই গাইডে, আমরা স্কালা টাইপ সিস্টেম এবং টাইপ ক্লাস নিয়ে বিস্তারিত আলোচনা করব।

১. স্কালা টাইপ সিস্টেম (Scala Type System)

স্কালার টাইপ সিস্টেম অনেক শক্তিশালী এবং ফাংশনাল প্রোগ্রামিং ভাষার মধ্যে অন্যতম। এটি স্ট্যাটিক টাইপিং, টাইপ ইনফারেন্স, হাইয়ার কিটপ্লেড টাইপস, প্যারামিটারাইজড টাইপস, এবং টাইপ কনস্ট্রেইন্টস-এর মতো বৈশিষ্ট্য সমর্থন করে। টাইপ সিস্টেমের এই বৈশিষ্ট্যগুলি স্কালাকে অনেক শক্তিশালী এবং নমনীয় করে তোলে।

১.১ স্ট্যাটিক টাইপিং (Static Typing)

স্কালা একটি স্ট্যাটিক্যালি টাইপড ভাষা, যার মানে হল যে, ভ্যারিয়েবল, ফাংশন বা এক্সপ্রেশন ডিফাইন করার সময় টাইপ নির্ধারণ করা হয়। কম্পাইলার সেই টাইপের বৈধতা পরীক্ষা করে।

উদাহরণ:

val x: Int = 10
val y: String = "Scala"

এখানে:

• x ভ্যারিয়েবলটি Int টাইপের এবং y ভ্যারিয়েবলটি String টাইপের।
• টাইপ কনফ্লিক্টের ক্ষেত্রে কম্পাইল টাইমে ত্রুটি ঘটবে।

১.২ টাইপ ইনফারেন্স (Type Inference)

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

উদাহরণ:

val a = 10    // Int inferred
val b = "Scala" // String inferred

এখানে:

• টাইপের তথ্য নির্দিষ্ট না করেও স্কালা কম্পাইলার ভ্যারিয়েবলগুলির টাইপ নির্ধারণ করতে সক্ষম।

১.৩ হাইয়ার কিটপ্লেড টাইপস (Higher-Kinded Types)

স্কালা হাইয়ার কিটপ্লেড টাইপস সমর্থন করে, যা একটি টাইপকে আরেকটি টাইপকে প্যারামিটার হিসেবে গ্রহণ করার সুযোগ প্রদান করে।

উদাহরণ:

trait Functor[F[_]] {
  def map[A, B](fa: F[A])(f: A => B): F[B]
}

এখানে:

• F[_] হল একটি হাইয়ার কিটপ্লেড টাইপ, যেখানে F এমন একটি ফাংশন বা টাইপ যা অন্য টাইপকে প্যারামিটার হিসেবে নেয়।

২. টাইপ ক্লাস (Type Classes)

টাইপ ক্লাস একটি ফাংশনাল প্রোগ্রামিং কনসেপ্ট যা সাধারণভাবে একাধিক টাইপের জন্য একটি ফাংশনাল ইন্টারফেস সংজ্ঞায়িত করতে ব্যবহৃত হয়। টাইপ ক্লাস এর সাহায্যে আপনি একটি টাইপের বৈশিষ্ট্যগুলি পরীক্ষার জন্য নির্দিষ্ট পদ্ধতি প্রয়োগ করতে পারেন।

২.১ টাইপ ক্লাস ডিফাইনেশন

স্কালায় টাইপ ক্লাস তৈরি করতে, আপনাকে একটি ট্রেট (trait) ডিফাইন করতে হয় যা টাইপ প্যারামিটার হিসেবে একটি টাইপ নেয় এবং সেই টাইপের জন্য কিছু পদ্ধতি ডিফাইন করে।

উদাহরণ:

trait Show[A] {
  def show(a: A): String
}

object ShowInstances {
  implicit val intShow: Show[Int] = new Show[Int] {
    def show(a: Int): String = s"Int: $a"
  }
  
  implicit val stringShow: Show[String] = new Show[String] {
    def show(a: String): String = s"String: $a"
  }
}

object TypeClassExample {
  def printShow[A](a: A)(implicit showInstance: Show[A]): Unit = {
    println(showInstance.show(a))
  }

  def main(args: Array[String]): Unit = {
    printShow(42)         // Output: Int: 42
    printShow("Scala")    // Output: String: Scala
  }
}

এখানে:

• Show টাইপ ক্লাসটি একটি show মেথড ডিফাইন করে, যা একটি A টাইপের মান নিয়ে তার স্ট্রিং রিপ্রেজেন্টেশন প্রদান করে।
• ShowInstances অবজেক্টে আমরা Int এবং String টাইপের জন্য ইমপ্লিসিট ইনস্ট্যান্স তৈরি করেছি।
• printShow ফাংশনটি টাইপ ক্লাসের ইমপ্লিসিট ইনস্ট্যান্স ব্যবহার করে যেকোনো টাইপের জন্য কাজ করে।

২.২ টাইপ ক্লাস ইমপ্লিসিট (Implicit) ইনস্ট্যান্স

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

উদাহরণ:

trait Addable[A] {
  def add(a: A, b: A): A
}

object AddableInstances {
  implicit val intAddable: Addable[Int] = new Addable[Int] {
    def add(a: Int, b: Int): Int = a + b
  }
  
  implicit val stringAddable: Addable[String] = new Addable[String] {
    def add(a: String, b: String): String = a + b
  }
}

object TypeClassExample {
  def combine[A](a: A, b: A)(implicit addable: Addable[A]): A = {
    addable.add(a, b)
  }

  def main(args: Array[String]): Unit = {
    println(combine(1, 2))         // Output: 3
    println(combine("Hello, ", "Scala!"))  // Output: Hello, Scala!
  }
}

এখানে:

• Addable টাইপ ক্লাসটি add মেথড ডিফাইন করে, যা দুটি টাইপ A এর মান যোগ করে।
• intAddable এবং stringAddable ইনস্ট্যান্সগুলি যথাক্রমে Int এবং String টাইপের জন্য Addable টাইপ ক্লাসের ইনস্ট্যান্স তৈরি করে, যা স্কালার implicit মেকানিজম দ্বারা ব্যবহৃত হয়।

২.৩ টাইপ ক্লাসের সুবিধা

টাইপ ক্লাস স্কালায় ডাইনামিক ফাংশনালিটি তৈরি করতে এবং টাইপ-নির্দিষ্ট আচরণ সংজ্ঞায়িত করতে সহায়তা করে। এটি আপনার কোডকে আরো ফাংশনাল, এক্সটেনসিবল, এবং টেস্টযোগ্য করে তোলে।

সারাংশ

স্কালার টাইপ সিস্টেম একটি অত্যন্ত শক্তিশালী এবং নমনীয় সিস্টেম, যা স্ট্যাটিক টাইপিং, টাইপ ইনফারেন্স, হাইয়ার কিটপ্লেড টাইপস, এবং টাইপ কনস্ট্রেইন্টস এর মতো বৈশিষ্ট্য সমর্থন করে। টাইপ ক্লাস ফাংশনাল প্রোগ্রামিংয়ের একটি অত্যন্ত গুরুত্বপূর্ণ কনসেপ্ট, যা স্কালার টাইপ সিস্টেমে ইনফ্লুয়েন্স প্রদান করে। টাইপ ক্লাস আপনাকে কোডের পুনঃব্যবহারযোগ্যতা এবং এক্সটেনসিবিলিটি প্রদান করতে সাহায্য করে, যা বিশেষ করে ফাংশনাল প্রোগ্রামিংয়ের জন্য একটি গুরুত্বপূর্ণ বৈশিষ্ট্য।

টাইপ প্যারামিটার স্কালার জেনেরিক প্রোগ্রামিংয়ের একটি গুরুত্বপূর্ণ অংশ। এটি জেনেরিক ক্লাস এবং ফাংশন তৈরি করতে ব্যবহৃত হয়, যা বিভিন্ন টাইপের জন্য একক কোড বেস ব্যবহার করতে সহায়তা করে। টাইপ প্যারামিটারগুলি মূলত টেমপ্লেট হিসেবে কাজ করে, যেখানে একটি নির্দিষ্ট টাইপ এক্সট্র্যাক্ট করার জন্য সাধারণ কোড ব্যবহার করা হয়।

স্কালায় টাইপ প্যারামিটার ব্যবহারের মাধ্যমে আপনি একটি ডাটা স্ট্রাকচার বা ফাংশন তৈরি করতে পারেন যা একাধিক টাইপের সাথে কাজ করতে সক্ষম।

১. টাইপ প্যারামিটার কী?

টাইপ প্যারামিটার হল একটি প্লেসহোল্ডার টাইপ যা ক্লাস বা ফাংশনে ব্যবহৃত হয়। যখন আপনি একটি টাইপ প্যারামিটার ডিফাইন করেন, তখন এটি সেই ক্লাস বা ফাংশনের জন্য টাইপ যুক্ত করার সুযোগ তৈরি করে।

class Box[T] {
  var value: T = _

  def setValue(newValue: T): Unit = {
    value = newValue
  }

  def getValue: T = value
}

এখানে:

• Box[T] একটি ক্লাস যেখানে T টাইপ প্যারামিটার। এটি যেকোনো টাইপ গ্রহণ করতে সক্ষম, যেমন Int, String, বা অন্যান্য টাইপ।
• T প্যারামিটারটি Box ক্লাসের মধ্যে বিভিন্ন ডাটা ধারণ করতে পারে।

২. টাইপ প্যারামিটার ব্যবহার করা (Using Type Parameters)

স্কালায় টাইপ প্যারামিটার ব্যবহার করতে জেনেরিক ক্লাস বা ফাংশন তৈরি করা হয়।

উদাহরণ ১: জেনেরিক ক্লাস

class Box[T](value: T) {
  def getValue: T = value
}

val intBox = new Box(42)  // Box[Int]
val stringBox = new Box("Hello")  // Box[String]

println(intBox.getValue)  // Output: 42
println(stringBox.getValue)  // Output: Hello

এখানে:

• Box[T] ক্লাসের জন্য T টাইপ প্যারামিটার ব্যবহার করা হয়েছে, যা বিভিন্ন টাইপের মান ধারণ করতে পারে।
• intBox একটি Box[Int] এবং stringBox একটি Box[String] তৈরি করা হয়েছে।

উদাহরণ ২: টাইপ প্যারামিটার সহ ফাংশন

def printValue[T](value: T): Unit = {
  println(value)
}

printValue(100)  // Output: 100
printValue("Scala")  // Output: Scala

এখানে:

• printValue[T] ফাংশনটি একটি টাইপ প্যারামিটার গ্রহণ করে এবং সেই টাইপের মান আউটপুট দেয়।

৩. টাইপ প্যারামিটার সীমাবদ্ধতা (Type Parameter Constraints)

স্কালায় আপনি টাইপ প্যারামিটারগুলির জন্য কিছু সীমাবদ্ধতা (constraints) নির্ধারণ করতে পারেন। এর মাধ্যমে আপনি শুধুমাত্র নির্দিষ্ট ধরনের টাইপগুলোই গ্রহণ করতে পারেন।

উদাহরণ: টাইপ প্যারামিটার সীমাবদ্ধতা

class ComparableBox[T <: Comparable[T]](value: T) {
  def compare(other: T): Int = value.compareTo(other)
}

val box1 = new ComparableBox(10)  // Integer
val box2 = new ComparableBox("Apple")  // String

println(box1.compare(20))  // Output: -1 (10 < 20)
println(box2.compare("Banana"))  // Output: -1 ("Apple" < "Banana")

এখানে:

• T <: Comparable[T] টাইপ প্যারামিটারটি Comparable ইন্টারফেস থেকে সাবক্লাস (subclass) হতে হবে, অর্থাৎ T টাইপে compareTo মেথড থাকতে হবে।
• ComparableBox ফাংশনটি যেকোনো টাইপের ইনপুট গ্রহণ করবে যা Comparable ইন্টারফেস বাস্তবায়ন করে।

৪. টাইপ প্যারামিটার সহ টিউপল (Tuple) এবং কোলেকশন

স্কালায় আপনি টাইপ প্যারামিটার ব্যবহার করে জটিল ডাটা স্ট্রাকচারও তৈরি করতে পারেন, যেমন টিউপল বা কোলেকশন।

উদাহরণ: জেনেরিক কোলেকশন

class Pair[A, B](val first: A, val second: B) {
  def getFirst: A = first
  def getSecond: B = second
}

val pair = new Pair(1, "One")
println(pair.getFirst)  // Output: 1
println(pair.getSecond)  // Output: One

এখানে:

• Pair[A, B] একটি জেনেরিক ক্লাস যেখানে দুইটি টাইপ প্যারামিটার A এবং B ব্যবহার করা হয়েছে।

৫. টাইপ প্যারামিটার এবং কোলেকশন

কিছু স্কালা কোলেকশন লাইব্রেরি যেমন List, Map, Set, ইত্যাদি জেনেরিক টাইপের উপর কাজ করে।

উদাহরণ: List এবং Map এর সাথে টাইপ প্যারামিটার

val numberList: List[Int] = List(1, 2, 3)
val nameList: List[String] = List("Alice", "Bob")

val numberMap: Map[String, Int] = Map("one" -> 1, "two" -> 2)

println(numberList)  // Output: List(1, 2, 3)
println(nameList)    // Output: List(Alice, Bob)
println(numberMap)   // Output: Map(one -> 1, two -> 2)

এখানে:

• List[Int] এবং List[String] দুটি আলাদা টাইপের List তৈরি হয়েছে।
• Map[String, Int] একটি Map তৈরি করা হয়েছে যেখানে String কী এবং Int ভ্যালু।

৬. টাইপ প্যারামিটার এবং ফাংশনাল প্রোগ্রামিং

ফাংশনাল প্রোগ্রামিংয়ে হাইয়ার অর্ডার ফাংশন তৈরি করতে টাইপ প্যারামিটার ব্যবহার করা হয়, যা কোডকে আরও সাধারণ এবং পুনরায় ব্যবহারযোগ্য করে তোলে।

উদাহরণ: হাইয়ার অর্ডার ফাংশন

def mapList[T, U](list: List[T], func: T => U): List[U] = {
  list.map(func)
}

val intList = List(1, 2, 3, 4)
val doubled = mapList(intList, (x: Int) => x * 2)

println(doubled)  // Output: List(2, 4, 6, 8)

এখানে:

• mapList একটি জেনেরিক ফাংশন যা একটি List[T] এবং একটি ফাংশন T => U গ্রহণ করে এবং একটি নতুন List[U] ফেরত দেয়।

সারাংশ

• টাইপ প্যারামিটার স্কালায় জেনেরিক কোড লেখার জন্য ব্যবহৃত হয়, যেখানে কোডের একাধিক ধরণের ইনপুট বা আউটপুট টাইপ ব্যবহারের সুযোগ থাকে।
• জেনেরিক ক্লাস এবং ফাংশন টাইপ প্যারামিটার ব্যবহার করে সহজে সাধারণ এবং পুনঃব্যবহারযোগ্য কোড তৈরি করা যায়।
• স্কালায় টাইপ প্যারামিটারকে বিভিন্ন টাইপে সীমাবদ্ধ করা সম্ভব, যা কোডের সুরক্ষা এবং স্থিরতা বাড়ায়।

এই ধারণাগুলি স্কালার ফাংশনাল প্রোগ্রামিং এবং জেনেরিক কোড লেখার শক্তি তুলে ধরে।

কোভেরিয়েন্স (Covariance) এবং কনট্রাভেরিয়েন্স (Contravariance) সাধারণত টাইপ প্যারামিটারাইজড ক্লাস বা জেনেরিক্সের সঙ্গে সম্পর্কিত কনসেপ্ট। স্কালায় এই ধারণাগুলি কাজ করে যখন আপনি টাইপের উত্তরাধিকারের (inheritance) সম্পর্ক এবং সাধারণভাবে টাইপ সিস্টেমের মধ্যে সম্পর্কগুলো বিশ্লেষণ করেন।

কোভেরিয়েন্স এবং কনট্রাভেরিয়েন্স সাধারণভাবে টাইপের সম্পর্ককে বর্ণনা করে, যেমনঃ

• কোভেরিয়েন্স: উপরের ধাপের টাস্কগুলির জন্য টাইপ প্যারামিটার যখন একটি টাইপের উপর ইনহেরিট করা হয় এবং তারা একে অপরের মধ্যে সম্পর্ক বজায় রাখে।
• কনট্রাভেরিয়েন্স: উপরের ধাপের টাস্কগুলির জন্য টাইপ প্যারামিটার যখন একটি টাইপের নিচের ধাপের জন্য ইনহেরিট করা হয়, এবং একে অপরের মধ্যে সম্পর্ক বজায় রাখে।

এই দুটি ধারণা স্কালার টাইপ প্যারামিটারাইজড ক্লাসগুলির জন্য বিশেষভাবে গুরুত্বপূর্ণ।

১. কোভেরিয়েন্স (Covariance)

কোভেরিয়েন্স তখন ঘটে যখন একটি টাইপ A থেকে অন্য টাইপ B ইনহেরিট করার ফলে টাইপের মধ্যে সম্পর্ক বজায় থাকে। কোভারিয়েন্ট টাইপ প্যারামিটার দিয়ে তৈরি ক্লাসগুলো তাদের ইনহেরিটেড টাইপের সঙ্গে সম্পর্কিত থাকে।

স্কালায় কোভারিয়েন্স সাধারণত +T সিনট্যাক্স দিয়ে প্রকাশ করা হয়। এখানে T হচ্ছে টাইপ প্যারামিটার এবং + কোভারিয়েন্স নির্দেশ করে।

১.১ কোভেরিয়েন্স উদাহরণ

উদাহরণ ১: কোভারিয়েন্সের উদাহরণ:

class Animal
class Dog extends Animal

// Covariant container
class Box[+T] {
  def get: T = ???
}

// Box[Dog] is a subtype of Box[Animal]
val dogBox: Box[Dog] = new Box[Dog]
val animalBox: Box[Animal] = dogBox  // This works due to covariance

এখানে:

• Box[+T] ক্লাসটি কোভারিয়েন্ট (covariant), অর্থাৎ Box[Dog] Box[Animal] এর সাবটাইপ হতে পারে কারণ Dog হল Animal এর সাবটাইপ।

কোভেরিয়েন্সের সুবিধা:

• কোভারিয়েন্ট ক্লাসগুলো আপনাকে একটি টাইপের সাবটাইপ ব্যবহার করতে দেয়, যার ফলে কোড পুনঃব্যবহারযোগ্য এবং ফ্লেক্সিবল হয়।

২. কনট্রাভেরিয়েন্স (Contravariance)

কনট্রাভেরিয়েন্স তখন ঘটে যখন একটি টাইপ A থেকে অন্য টাইপ B ইনহেরিট করার ফলে তাদের সম্পর্ক বিপরীত হয়ে যায়। কনট্রাভেরিয়েন্ট টাইপ প্যারামিটার দিয়ে তৈরি ক্লাসগুলো তার ইনহেরিটেড টাইপের বিপরীত সম্পর্ক বজায় রাখে।

স্কালায় কনট্রাভেরিয়েন্স সাধারণত -T সিনট্যাক্স দিয়ে প্রকাশ করা হয়। এখানে T হচ্ছে টাইপ প্যারামিটার এবং - কনট্রাভেরিয়েন্স নির্দেশ করে।

২.১ কনট্রাভেরিয়েন্স উদাহরণ

উদাহরণ ২: কনট্রাভেরিয়েন্সের উদাহরণ:

class Animal
class Dog extends Animal

// Contravariant container
class Printer[-T] {
  def print(value: T): Unit = println(value)
}

// Printer[Animal] can accept Printer[Dog] because of contravariance
val animalPrinter: Printer[Animal] = new Printer[Dog]

এখানে:

• Printer[-T] ক্লাসটি কনট্রাভেরিয়েন্ট (contravariant), অর্থাৎ Printer[Animal] একটি Printer[Dog] কে গ্রহণ করতে পারে। এটি বিপরীত সম্পর্ক তৈরি করে কারণ Dog হল Animal এর সাবটাইপ, এবং আমরা Printer ক্লাসে তার বিপরীত রূপ ব্যবহার করতে পারি।

কনট্রাভেরিয়েন্সের সুবিধা:

• কনট্রাভেরিয়েন্ট টাইপ প্যারামিটার ক্লাসগুলি আপনাকে ইনপুট ধরনের উপর আরও শক্তিশালী নিয়ন্ত্রণ দেয়, যেমন আপনি Dog টাইপের ইনপুট নিতে পারেন যেখানে Animal টাইপের ইনপুট প্রয়োজন।

৩. কোভেরিয়েন্স এবং কনট্রাভেরিয়েন্সের মধ্যে পার্থক্য

৪. অ্যাপ্লিকেশন উদাহরণ

কোভেরিয়েন্স এবং কনট্রাভেরিয়েন্সের কম্বিনেশন উদাহরণ:

class Animal
class Dog extends Animal
class Cat extends Animal

class Box[+T] {
  def get: T = ???
}

// Covariant - Box[Dog] is a subtype of Box[Animal]
val dogBox: Box[Dog] = new Box[Dog]
val animalBox: Box[Animal] = dogBox

class Printer[-T] {
  def print(value: T): Unit = println(value)
}

// Contravariant - Printer[Animal] can accept Printer[Dog]
val printer: Printer[Dog] = new Printer[Animal]

এখানে, Box[+T] কোভারিয়েন্ট টাইপ প্যারামিটার এবং Printer[-T] কনট্রাভেরিয়েন্ট টাইপ প্যারামিটার ক্লাস হিসেবে ব্যবহার করা হয়েছে। কোভারিয়েন্সে আমরা Box[Dog] কে Box[Animal] হিসেবে ব্যবহার করতে পারি, এবং কনট্রাভেরিয়েন্সে Printer[Animal] কে Printer[Dog] হিসেবে ব্যবহার করতে পারি।

সারাংশ

• কোভেরিয়েন্স হল টাইপ সম্পর্ক যা সাবটাইপের মধ্যে বজায় থাকে এবং সাধারণত আউটপুট টাইপ বা রিটার্ন টাইপের জন্য ব্যবহৃত হয়।
• কনট্রাভেরিয়েন্স হল টাইপ সম্পর্ক যা সুপারটাইপের মধ্যে বজায় থাকে এবং সাধারণত ইনপুট বা প্যারামিটার টাইপের জন্য ব্যবহৃত হয়।
• স্কালায় +T এবং -T সিনট্যাক্স ব্যবহার করে টাইপ প্যারামিটারগুলির মধ্যে কোভারিয়েন্স এবং কনট্রাভেরিয়েন্স কার্যকরীভাবে পরিচালনা করা হয়।

এই ধারণাগুলি সাধারণভাবে জেনেরিক্স, টাইপ প্যারামিটারাইজড ক্লাস, এবং ফাংশনাল প্রোগ্রামিং এর বিভিন্ন ক্ষেত্রে খুবই গুরুত্বপূর্ণ এবং উপকারী।

বাউন্ডেড টাইপ এবং ডিপেন্ডেন্ট টাইপ হল স্কালার উন্নত টাইপ সিস্টেমের দুটি শক্তিশালী কনসেপ্ট। এই দুটি টাইপ সিস্টেমের মাধ্যমে আপনি কোডের নিরাপত্তা এবং কার্যকারিতা বাড়াতে পারেন, বিশেষ করে জেনেরিক টাইপস এবং টেমপ্লেটের ক্ষেত্রে।

১. বাউন্ডেড টাইপ (Bounded Types)

বাউন্ডেড টাইপ এর মাধ্যমে আপনি টাইপ প্যারামিটারগুলির জন্য একটি সীমা নির্ধারণ করতে পারেন। স্কালায় এটি সাধারণত উদ্ধৃত টাইপ (upper bound) এবং নিম্ন সীমা (lower bound) দ্বারা করা হয়। বাউন্ডেড টাইপের সাহায্যে আপনি নিশ্চিত করতে পারেন যে একটি নির্দিষ্ট টাইপের ইনস্ট্যান্স শুধুমাত্র নির্দিষ্ট সীমার মধ্যে থাকবে।

১.১ উদ্ধৃত টাইপ (Upper Bound)

উদ্ধৃত টাইপ দ্বারা একটি টাইপ প্যারামিটারকে অন্য টাইপের একটি সাবক্লাস বা সুপারক্লাস হিসেবে সীমাবদ্ধ করা হয়।

উদ্ধৃত টাইপ উদাহরণ:

class Box[T <: Animal](val value: T) {  // T must be a subtype of Animal
  def getValue: T = value
}

class Animal {
  def sound(): Unit = {
    println("Animal sound")
  }
}

class Dog extends Animal {
  def sound(): Unit = {
    println("Bark")
  }
}

object UpperBoundExample {
  def main(args: Array[String]): Unit = {
    val dogBox = new Box(new Dog())  // Dog is a subtype of Animal
    dogBox.getValue.sound()  // Output: Bark
  }
}

এখানে:

• T <: Animal বাউন্ডেড টাইপ যা T কে Animal টাইপের সাবক্লাস হিসেবে সীমাবদ্ধ করে।
• Box ক্লাস শুধুমাত্র Animal বা তার সাবক্লাসের অবজেক্ট গ্রহণ করতে পারে।

১.২ নিম্ন সীমা (Lower Bound)

নিম্ন সীমার মাধ্যমে আপনি টাইপ প্যারামিটারকে একটি নির্দিষ্ট সুপারক্লাসের টাইপ হিসেবে সীমাবদ্ধ করতে পারেন। এটি সাধারণত >: কিওয়ার্ড ব্যবহার করে প্রকাশ করা হয়।

নিম্ন সীমা উদাহরণ:

class Box[T >: Animal](val value: T) {  // T must be a supertype of Animal
  def getValue: T = value
}

class Animal
class Dog extends Animal

object LowerBoundExample {
  def main(args: Array[String]): Unit = {
    val animalBox = new Box(new Animal())  // Animal is a supertype
    val dogBox = new Box(new Dog())  // Dog is a subtype of Animal

    println(animalBox.getValue)
    println(dogBox.getValue)
  }
}

এখানে:

• T >: Animal বাউন্ডেড টাইপ যা T কে Animal টাইপের সুপারক্লাস হিসেবে সীমাবদ্ধ করে।
• Box ক্লাস Animal বা তার সুপারক্লাসের টাইপ গ্রহণ করতে পারে।

২. ডিপেন্ডেন্ট টাইপ (Dependent Types)

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

২.১ ডিপেন্ডেন্ট টাইপ উদাহরণ

object DependentTypeExample {
  def pair[T](first: T, second: T): (T, T) = {
    (first, second)
  }

  def main(args: Array[String]): Unit = {
    val pairOfIntegers = pair(5, 10)
    println(pairOfIntegers)  // Output: (5, 10)

    // A more advanced dependent type example could involve arrays with size
    // Here, we're simply showing how types depend on values.
  }
}

এখানে:

• pair ফাংশনে টাইপ T একাধিক মানের সাথে যুক্ত থাকে, কিন্তু ডিপেন্ডেন্ট টাইপ আরও জটিল এবং শক্তিশালী টেমপ্লেট টাইপ ধারণা ব্যবহার করতে পারে, যেখানে টাইপ প্যারামিটার নির্ভর করে ইনপুটের মানের উপর।

২.২ ডিপেন্ডেন্ট টাইপের আরো উদাহরণ (নির্দিষ্ট সাইজের অ্যারে)

এখানে একটি ডিপেন্ডেন্ট টাইপের উদাহরণ যেখানে একটি অ্যারের সাইজ টাইপ হিসেবে ব্যবহৃত হয়:

object DependentTypesWithSize {
  class SizedArray[T](val arr: Array[T], val size: Int) {
    def get(index: Int): T = {
      if (index >= 0 && index < size) arr(index)
      else throw new IndexOutOfBoundsException
    }
  }

  def main(args: Array[String]): Unit = {
    val arr = new SizedArray(Array(1, 2, 3, 4), 4)
    println(arr.get(2))  // Output: 3
    // arr.get(5) would throw an exception
  }
}

এখানে:

• SizedArray ক্লাসে টাইপ T এবং সাইজ Int সম্পর্কিত। সাইজের উপর নির্ভরশীল যে কোন অ্যারে ব্যবহার করা হচ্ছে।
• size টাইপটি মানের উপর নির্ভরশীল, এবং এটি অ্যারের সীমারেখা নির্ধারণে ব্যবহৃত হয়।

সারাংশ

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

এই দুটি কনসেপ্ট স্কালার টাইপ সিস্টেমকে আরও শক্তিশালী এবং নমনীয় করে তোলে, এবং এটি ফাংশনাল প্রোগ্রামিং এবং জেনেরিক টাইপ সিস্টেমে ব্যবহৃত হয়।

টাইপ ক্লাস (Type Classes) এবং টাইপ সেফটি (Type Safety) স্কালার উন্নত ফিচার, যা ফাংশনাল প্রোগ্রামিং এবং টাইপ সিস্টেমে শক্তিশালী সাপোর্ট প্রদান করে। এই দুটি বৈশিষ্ট্য কোডের নিরাপত্তা, স্থিতিশীলতা এবং নমনীয়তা বাড়ায়।

১. টাইপ ক্লাস (Type Classes)

টাইপ ক্লাস একটি ফাংশনাল প্রোগ্রামিং কনসেপ্ট যা আপনাকে একটি টাইপের জন্য সাধারণ আচরণ বা কার্যকারিতা ডিফাইন করতে এবং সেটি বিভিন্ন টাইপে মডিফাই করতে সক্ষম করে। এটি কোডের পুনঃব্যবহারযোগ্যতা এবং নমনীয়তা বাড়ানোর জন্য খুবই কার্যকরী।

টাইপ ক্লাসে, আপনি একটি ইন্টারফেস বা প্রোটোকল তৈরি করেন, যা একটি নির্দিষ্ট টাইপ এর জন্য ডিফাইন করা হয়। পরবর্তীতে, আপনি সেই টাইপের জন্য ইমপ্লিমেন্টেশন প্রদান করেন এবং এই ইমপ্লিমেন্টেশনটি অন্য টাইপগুলিতে পুনঃব্যবহার করতে পারেন।

টাইপ ক্লাস উদাহরণ:

ধরা যাক, আমাদের একটি টাইপ ক্লাস Show তৈরি করতে হবে, যা একটি সাধারণ ফাংশন show প্রদান করবে যা টাইপের মানকে স্ট্রিং-এ কনভার্ট করবে।

object TypeClassExample {
  // টাইপ ক্লাস ডিফাইন করা
  trait Show[A] {
    def show(a: A): String
  }

  // Int টাইপের জন্য Show টাইপ ক্লাসের ইমপ্লিমেন্টেশন
  implicit val intShow: Show[Int] = new Show[Int] {
    def show(a: Int): String = a.toString
  }

  // String টাইপের জন্য Show টাইপ ক্লাসের ইমপ্লিমেন্টেশন
  implicit val stringShow: Show[String] = new Show[String] {
    def show(a: String): String = a
  }

  // একটি জেনেরিক ফাংশন যা যেকোনো টাইপের মানকে String-এ কনভার্ট করবে
  def printShow[A](a: A)(implicit showInstance: Show[A]): Unit = {
    println(showInstance.show(a))
  }

  def main(args: Array[String]): Unit = {
    printShow(42)          // Output: 42
    printShow("Hello!")    // Output: Hello!
  }
}

এখানে:

• trait Show[A]: একটি টাইপ ক্লাস যা একটি show মেথড ডিফাইন করে, যা কোনো টাইপ A কে স্ট্রিং-এ রূপান্তরিত করবে।
• implicit val intShow এবং implicit val stringShow: এখানে আমরা Int এবং String টাইপের জন্য Show টাইপ ক্লাসের ইমপ্লিমেন্টেশন দিয়েছি।
• printShow: একটি জেনেরিক ফাংশন যা Show[A] টাইপ ক্লাসের মাধ্যমে যেকোনো টাইপের মানকে স্ট্রিং-এ রূপান্তরিত করে প্রিন্ট করবে।

টাইপ ক্লাস এর সুবিধা:

• টাইপ নিরপেক্ষ কোড: টাইপ ক্লাস ব্যবহারের মাধ্যমে আপনি নির্দিষ্ট টাইপের জন্য ফাংশন তৈরি করতে পারেন এবং একাধিক টাইপে পুনঃব্যবহার করতে পারেন।
• এড-হক পলিমরফিজম: টাইপ ক্লাস আপনাকে বিভিন্ন টাইপের জন্য একটি সাধারণ ইন্টারফেস বা কার্যকারিতা প্রদান করতে সাহায্য করে।

২. টাইপ সেফটি (Type Safety)

টাইপ সেফটি হল এমন একটি বৈশিষ্ট্য, যেখানে কম্পাইলার টাইপ সম্পর্কিত ত্রুটিগুলো কম্পাইল টাইমে শনাক্ত করে, যাতে রানটাইমে টাইপ সম্পর্কিত সমস্যা বা এরর না হয়। টাইপ সেফটি স্কালার টাইপ সিস্টেমের একটি মূল বৈশিষ্ট্য, যা টাইপ সম্পর্কিত ভুলগুলি ধরতে সহায়তা করে, এবং কোডের ত্রুটি কমিয়ে আনে।

টাইপ সেফটি উদাহরণ:

object TypeSafetyExample {
  def add(a: Int, b: Int): Int = a + b

  def main(args: Array[String]): Unit = {
    val result = add(10, 20)
    println(result)  // Output: 30

    // Uncommenting the next line will cause a compile-time error
    // val invalidResult = add(10, "20")  // Error: type mismatch
  }
}

এখানে:

• add(a: Int, b: Int): add ফাংশনটি শুধুমাত্র Int টাইপের দুটি মান নেবে।
• add(10, "20"): যদি আপনি "20" (স্ট্রিং) পাস করেন, তবে কম্পাইলার টাইপ সেফটি সিস্টেম ত্রুটিটি ধরবে এবং compile-time error প্রদান করবে।

টাইপ সেফটির সুবিধা:

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

৩. টাইপ ক্লাস এবং টাইপ সেফটির সম্পর্ক

টাইপ ক্লাস এবং টাইপ সেফটি একে অপরকে শক্তিশালী করে। টাইপ ক্লাস আপনাকে নির্দিষ্ট টাইপের জন্য প্রপার্টি বা কার্যকারিতা দিতে সাহায্য করে এবং টাইপ সেফটি নিশ্চিত করে যে, আপনি যে টাইপের সাথে কাজ করছেন তা সঠিক এবং নিরাপদ।

উদাহরণস্বরূপ, স্কালায় টাইপ ক্লাসের মাধ্যমে আপনি টাইপ সেফ ফাংশনালিটি তৈরি করতে পারেন, যা কম্পাইল টাইমে টাইপ চেকিংয়ের মাধ্যমে ত্রুটি দূর করতে সাহায্য করে।

৪. টাইপ ক্লাস, টাইপ সেফটি এবং ইমপ্লিসিট

টাইপ ক্লাস, টাইপ সেফটি এবং ইমপ্লিসিট একত্রে স্কালার টাইপ সিস্টেমে কোডের নিরাপত্তা, নমনীয়তা এবং পুনঃব্যবহারযোগ্যতা বাড়ায়।

• টাইপ ক্লাস: কোডের কার্যকারিতা টাইপ নির্ভর করে যোগ করে।
• টাইপ সেফটি: টাইপ সম্পর্কিত ভুল কম্পাইল টাইমে ধরা হয়, যা রানটাইম ত্রুটি কমায়।
• ইমপ্লিসিটস: টাইপ ক্লাসের ইমপ্লিমেন্টেশন বা ফাংশনালিটি স্বয়ংক্রিয়ভাবে ব্যবহৃত হতে পারে, যা কোডের পরিষ্কারতা এবং সংক্ষিপ্ততা বৃদ্ধি করে।

সারাংশ

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

এই দুটি বৈশিষ্ট্য কোড লেখার সময় আপনাকে আরও নিরাপদ, স্থিতিশীল এবং নমনীয় প্রোগ্রামিং করতে সাহায্য করে।