تسعير البيتزا

العودية

القدرة على تعريف شيء ما من خلال نفسه تُسمى العودية. في F#، تظهر العودية غالبًا في الدوال العودية، وهي دوال تستدعي نفسها.

تحتاج الدالة العودية إلى حالة أساسية واحدة على الأقل وإلى حالة عودية واحدة على الأقل. تُرجع حالة أساسية قيمة دون استدعاء الدالة مرة أخرى. تستدعي حالة عودية الدالة مرة أخرى، مع تعديل المدخل بحيث يطابق الحالة الأساسية في مرحلة ما.

تُعرَّف الدوال العودية مثل الدوال العادية، ولكن باستخدام المعدِّل rec. بدون هذا المعدِّل، لن تتمكن الدالة من استدعاء نفسها، وأي محاولة لفعل ذلك ستؤدي إلى خطأ في الترجمة. لذلك يجب اختيار العودية صراحةً.

let rec factorial x =
    // Base case
    if x = 1 then
        1
    // Recursive case
    else
        x * factorial (x - 1)

يدعم F# أيضًا الأنواع العودية من خلال أنواع الاتحاد المميز. النوع العودي من نوع الاتحاد المميز تكون فيه حالة واحدة أو أكثر من حالاته تشير إلى نوع الاتحاد المميز نفسه في بياناتها. مثل الدوال العودية، يجب أن يكون للأنواع العودية حالة أساسية. وعلى عكس الدوال العودية، لا تستخدم الأنواع العودية الكلمة المفتاحية rec.

type RussianDoll =
    | Doll                 // Base case
    | Layer of RussianDoll // Recursive case