بولي ستيت: آلات حالات منتهية قابلة للتركيب في زيغ
2025-06-23
بولي ستيت هي مكتبة زيغ لبناء آلات حالات منتهية قابلة للتركيب من خلال تركيب الأنواع. وهي تفرض اتفاقيات برمجة، وتسجل حالة آلة الحالة على مستوى النوع، وتحقيق قابلية التركيب من خلال تركيب الأنواع. هذا يحسّن من صحة بنى البرامج الإمبراطورية، ويشجع على إعادة تصميم حالة البرنامج من منظور الأنواع والتركيب، وبالتالي تعزيز قابلية تركيب الكود. بولي ستيت تولد تلقائيًا مخططات الحالة، مما يسمح للمستخدمين بفهم سلوك البرنامج بشكل حدسي. تُظهر الأمثلة كيفية بناء آلات حالات بسيطة ومعقدة من خلال تركيب الأنواع، مثل الحد من محاولات إدخال رقم التعريف الشخصي في جهاز الصراف الآلي، وإعادة استخدام آليات الاختيار في لعبة raylib.