قُد رافعة مستودع بالشيفرة، وأعد تكديس صناديق ملونة ضمن حدّ للتعليمات ضيق بما يكفي ليفرض العودية.
ابنِ برنامجًا من تعليمات الرافعة (التحرك يسارًا ويمينًا، والإمساك، والإفلات، وشروط اللون) لإعادة ترتيب حاويات الصناديق في الكومة المستهدفة. حدّ التعليمات ضيق عمدًا، لذا ستعتمد على أمر Call الذي يعيد تشغيل برنامجك كله من البداية؛ والشرط الذي يفشل يصبح الحالة الأساسية التي توقف العودية. هناك عشرة مستويات مصممة يدويًا، من صندوق أحمر واحد إلى برج من ستة صناديق، وثمانية منها لا يمكن حلّها من دون Call.
برج من ثلاثة: ثلاثة صناديق حمراء في الحاوية 1 يجب أن تنتهي في الحاوية 2، ولا يُسمح لك إلا بست تعليمات. إذا كُتب الحل خطوة خطوة، يحتاج كل صندوق إلى Grab وRight وDrop وLeft، أي إحدى عشرة تعليمة لثلاثة صناديق حتى بعد حذف آخر Left. والست لا تكفي.
لذا اكتب رحلة واحدة ودعها تتكرر: Grab، If-held red، Right، Drop، Left، Call. هذه ست تعليمات. تمسك الرافعة صندوقًا، وتتحقق من أنها تحمل الأحمر، وتنقله، وتضعه، وتعود، ثم تستدعي البرنامج كله من جديد. في الاستدعاء الرابع تكون الحاوية 1 فارغة، فلا تلتقط Grab شيئًا، ويفشل التحقق If-held red، ويتوقف البرنامج. هذا التحقق الفاشل هو الحالة الأساسية.
غيّر If-held red إلى If-held blue، فتُنهي التعليمات الست نفسها مستوى الصناديق الأربعة وبرج الصناديق الستة أيضًا، لأن الروتين لا يعدّ الصناديق أبدًا؛ بل يستمر حتى لا يبقى منها شيء. وهذا جوهر العودية: يصف البرنامج خطوة واحدة وقاعدة للتوقف، والمُدخل هو الذي يقرر عدد مرات تشغيله.
يعلّم Claw Compiler العودية من خلال رافعة تكدّس الصناديق وميزانية حركات صارمة، فيجعل فكرة صعبة ملموسة.
تعليمات الرافعة — التحرك يسارًا ويمينًا، والإمساك، والإفلات، والشروط المتعلقة باللون — لغة تجميع في حدّها الأدنى ولها جسم مادي.
يعود تعليم البرمجة من خلال روبوت صغير في عالم صغير إلى Karel the Robot، لغة المبتدئين التي قدّمها ريتشارد باتيس في كتاب عام 1981 واستخدمها في مقرراته بجامعة ستانفورد. ثم تبنّت الألعاب الفكرة: فلعبة Lightbot تعلّم الحلقات والإجراءات ببرمجة روبوت عبر متاهة، وأقرب أسلاف Claw Compiler هي Cargo-Bot، لغز لجهاز iPad صدر عام 2012 تعلّم فيه روبوتًا نقل الصناديق. بنتها Two Lives Left مع روي فيانا انطلاقًا من نموذجه الأولي في تطبيقها للبرمجة على iPad، Codea، وقدّمتها على أنها أول لعبة بُرمجت بالكامل على iPad.
المهمة، أي إعادة ترتيب حاويات الصناديق في كومة مستهدفة، فرزٌ تؤديه آلة لا تستطيع أن تمسك إلا شيئًا واحدًا في كل مرة. وحدّ الماسك الواحد هذا درس قائم بذاته. فهو القيد نفسه الذي يفرضه السجلّ، وهو سبب احتياج الفرز الحقيقي إلى مكان توضع فيه الأشياء — واكتشافك أنك تحتاج إلى حاوية احتياطية هو اكتشاف لفكرة التخزين المؤقت.
لأن Call هي دائمًا التعليمة الأخيرة، فكل برنامج هنا عودي ذيلي: الاستدعاء الذاتي هو آخر ما يفعله. وكثير من تطبيقات لغات البرمجة تحوّل الاستدعاء الذيلي إلى قفزة بسيطة إلى البداية، ولهذا يمكن قراءة البرنامج نفسه إما عوديةً وإما حلقة. وإدراك أنهما فكرة واحدة جزء كبير من فهم العودية.
Claw Compiler لعبة متصفح أصلية ومجانية صُنعت لـ PlayPendium: لغة رافعة من سبع تعليمات، وعشرة مستويات تجعل حدودُها العودية ضرورةً لا خيارًا، ومستوى يومي مشترك، ووضع تدريب يقدّم المستويات الأخرى.