Scala for Backend Engineering & Functional Programming · درس

فهم Monads في Scala

أزل الغموض عن Monads وتعلّم كيف تتيح التركيب التسلسلي للحسابات بطريقة وظيفية

فهم Monads في Scala درس مجاني في Scala for Backend Engineering & Functional Programming على CoddyKit. هذا هو الدرس 2 من أصل 3. يمكنك قراءة الدرس كاملاً أدناه مجاناً — ثم تمرن عليه مباشرة في المتصفح باستخدام محرر أكواد مدمج ومدرس ذكاء اصطناعي متاح 24/7. هذا الدرس جزء من مسار التعلم في Scala for Backend Engineering & Functional Programming، وتقدمك يتزامن عبر الويب وتطبيق CoddyKit. تتضمن دورة Scala for Backend Engineering & Functional Programming 3 دروس في المجموع.

ما هي Monads؟

تُعد Monads مفهومًا أساسيًا في البرمجة الوظيفية، وغالبًا ما تُعتبر متقدمة. لا تقلقوا، سنوضّحها لكم!

في جوهرها، Monads نمط تصميم يساعدكم على ترتيب العمليات الحسابية التي تتضمن «سياقًا». فكّروا فيها كطريقة لإدارة الآثار الجانبية أو التعامل مع القيم التي قد تكون مفقودة، ضمن بنية يمكن التنبؤ بها.

تسلسل العمليات السياقية

تخيّلوا أن لديكم قيمة قد تكون موجودة أو غير موجودة، مثل Option[Int]. إذا أردتم تنفيذ عدة عمليات عليها، ولكن فقط عندما تكون موجودة، فكيف تنفذون ذلك بطريقة واضحة؟

سرعان ما تصبح عبارات if المتداخلة مربكة. توفّر Monads طريقة نظيفة ومتسلسلة لتسلسل هذه العمليات، مع تمرير «السياق» (مثل الوجود أو الغياب) تلقائيًا.

قوة `flatMap`

أهم عملية لفهم Monads هي flatMap.

تأخذ دالة تُعيد قيمة «سياقية» أخرى، مثل Option أو List.
تطبّق هذه الدالة على القيمة الموجودة داخل السياق الحالي.
إذا كان السياق فارغًا (مثلًا None)، فإن flatMap تمرّر هذا الفراغ ببساطة من دون تطبيق الدالة.

يتيح لكم ذلك تسلسل العمليات بسلاسة، مع التعامل مع حالات الفشل المحتملة أو القيم المفقودة أثناء التنفيذ.

`Option` و`flatMap`

يُعد نوع Option في Scala مثالًا مثاليًا على Monad. يمكن أن تكون Option هي Some(value) أو None.

عند استخدام flatMap مع Option:

إذا كانت Some(value)، تُطبّق الدالة التي تقدمونها على value، وتُستخدم نتيجتها (وهي Option أخرى).
إذا كانت None، فلا تُستدعى الدالة مطلقًا، وتُعاد None مباشرةً.

يضمن ذلك عدم تنفيذ عملياتكم إلا عند وجود قيمة فعلية.

`flatMap` مع `Option`

لنرَ flatMap أثناء العمل مع Option. يحاول هذا الرمز تحليل سلسلة نصية إلى عدد صحيح، ثم مضاعفته، ولكن فقط إذا نجحت الخطوتان.

object Main {
  def parseToInt(s: String): Option[Int] =
    try {
      Some(s.toInt)
    } catch {
      case _: NumberFormatException => None
    }

  def main(args: Array[String]): Unit = {
    val result1 = parseToInt("10").flatMap(x => Some(x * 2))
    val result2 = parseToInt("hello").flatMap(x => Some(x * 2))

    println(s"Result 1: $result1")
    println(s"Result 2: $result2")
  }
}

`List` و`flatMap`

هناك نوع شائع آخر في Scala يتصرف كـMonad، وهو List.

عند استخدام flatMap مع List:

تطبّق الدالة المعطاة على كل عنصر في القائمة.
يجب أن تُعيد الدالة قائمة جديدة لكل عنصر.
بعد ذلك، تُسلسل جميع القوائم الناتجة في قائمة واحدة مسطّحة.

يفيد ذلك في تحويل قوائم البيانات ودمجها.

`flatMap` مع `List`

إليكم كيفية عمل flatMap مع List. لاحظوا كيف «تسطّح» النتائج الناتجة عن تطبيق دالة تُعيد قائمة لكل عنصر.

object Main {
  def main(args: Array[String]): Unit = {
    val numbers = List(1, 2, 3)

    // For each number, create a list of that number and its double
    val result = numbers.flatMap(n => List(n, n * 2))

    println(s"Original: $numbers")
    println(s"FlatMapped: $result")

    val words = List("hello", "world")
    val chars = words.flatMap(_.toList) // Get all characters

    println(s"Words: $words")
    println(s"Chars: $chars")
  }
}

قواعد Monadic (بصيغة مبسطة)

رغم أن flatMap هي العملية الأساسية، فإن Monad الحقيقية تلتزم أيضًا ببعض القوانين (القواعد) لضمان سلوك يمكن التنبؤ به.

بعبارات بسيطة، يكون النوع monadic إذا كان:

يستطيع «تغليف» قيمة (ويُسمى ذلك غالبًا pure أو unit).
يحتوي على عملية flatMap لتسلسل العمليات الحسابية مع الحفاظ على السياق.

تضمن هذه القوانين اتساق تركيب العمليات monadic، بغض النظر عن طريقة تجميعها.

Monads وتركيبات For

توفر for-comprehensions في Scala صياغة مختصرة للعمل مع Monads (وأنواع أخرى مثل Functors وApplicatives).

وتتيح لكم كتابة عمليات متسلسلة على قيم سياقية بأسلوب أكثر وضوحًا بكثير، يشبه الرمز الإجرائي.

يحوّل مترجم Scala، خلف الكواليس، for-comprehensions إلى سلسلة من استدعاءات flatMap وmap وfilter.

`Option` في تركيب For

يوضح هذا المثال كيف يمكن لـfor-comprehension تبسيط سلسلة Option.flatMap السابقة. فهو يتعامل مع حالة None تلقائيًا.

object Main {
  def parseToInt(s: String): Option[Int] =
    try {
      Some(s.toInt)
    } catch {
      case _: NumberFormatException => None
    }

  def main(args: Array[String]): Unit = {
    val numStr1 = "10"
    val numStr2 = "5"
    val badStr = "abc"

    val result1 = for {
      a <- parseToInt(numStr1) // If parseToInt returns None, the whole for-comp becomes None
      b <- parseToInt(numStr2)
    } yield a + b

    val result2 = for {
      a <- parseToInt(numStr1)
      b <- parseToInt(badStr) // This will be None
    } yield a + b

    println(s"Sum 1: $result1") // Some(15)
    println(s"Sum 2: $result2") // None
  }
}

تحدي Monad

تأملوا رمز Scala التالي.

val list1 = List(1, 2)
val list2 = List(10, 20)

val result = for {
  x <- list1
  y <- list2
} yield x * y

Monads: التسلسل السياقي

تهانينا! لقد خطوتم خطوة كبيرة نحو فهم Monads.

توفر Monads نمطًا قويًا لتسلسل العمليات التي تعمل ضمن «سياق» (مثل Option للوجود أو الغياب، وList للقيم المتعددة).
العملية الأساسية هي flatMap، التي تطبّق دالة تُعيد قيمة سياقية جديدة، وبذلك تسلسل السياقات وتسطّحها بفعالية.
تُعد for-comprehensions في Scala صياغة مختصرة ممتازة، إذ تُترجم مباشرةً إلى استدعاءات flatMap (وmap/filter)، مما يجعل الرمز monadic أكثر قابلية للقراءة بكثير.

سنستكشف بعد ذلك مكتبات البرمجة الوظيفية الشائعة مثل Cats وZIO، التي تستخدم هذه المفاهيم monadic على نطاق واسع.

الأسئلة الشائعة

هل درس «فهم Monads في Scala» مجاني؟

نعم — نص درس «فهم Monads في Scala» كامل متاح مجاناً هنا على الويب. لتمرينه بشكل تفاعلي (محرر أكواد مدمج ومدرس ذكاء اصطناعي متاح 24/7) وفتح باقي دورة Scala for Backend Engineering & Functional Programming، انتقل إلى CoddyKit PRO. تتضمن دورة Scala for Backend Engineering & Functional Programming 3 دروس في المجموع.

ماذا ستتعلم في «فهم Monads في Scala»؟

أزل الغموض عن Monads وتعلّم كيف تتيح التركيب التسلسلي للحسابات بطريقة وظيفية تتمرن على Scala for Backend Engineering & Functional Programming مع أكواد عملية تشغلها مباشرة في المتصفح، ومدرس ذكاء اصطناعي متاح 24/7 يجيب على أسئلتك أثناء عملك.

هل أحتاج إلى خبرة سابقة لأبدأ Scala for Backend Engineering & Functional Programming؟

لا تُشترط خبرة سابقة. Scala for Backend Engineering & Functional Programming على CoddyKit منظم للمبتدئين حتى المتقدمين، لذا يمكنك البدء من هنا أو من البداية والتقدم بسرعتك الخاصة. هذا هو الدرس 2 من أصل 3.

كم من الوقت يستغرق درس «فهم Monads في Scala»؟

معظم دروس CoddyKit تستغرق حوالي 5–10 دقائق. كل منها موجز وتفاعلي، لذا تحرز تقدماً مستمراً وتستأنف من حيث توقفت عبر الويب والتطبيق.

هل يمكنني كتابة وتشغيل أكواد في درس Scala for Backend Engineering & Functional Programming هذا؟

نعم. كل درس في Scala for Backend Engineering & Functional Programming يتضمن محرر أكواد مدمج، لذا تكتب وتشغل أكواداً حقيقية مباشرة في متصفحك وتحصل على تعليقات فورية من الذكاء الاصطناعي — بدون إعداد محلي.

جميع الدروس في هذه الدورة

← العودة إلى Scala for Backend Engineering & Functional Programming