Awesome GitHub RepositoriesFunctional Syntax Extensions

Cats هو مكتبة برمجة وظيفية في Scala ومكتبة فئات الأنواع (Type Class) مصممة لتنفيذ الأنماط الجبرية والتجريدات الوظيفية. توفر مجموعة موحدة من الواجهات ومجموعة أدوات معيارية من الأغلفة والحاويات الوظيفية لتمكين تعدد الأشكال المخصص والبرمجة العامة عبر أنواع متباينة. يعمل المشروع كمعيار للتجريد الوظيفي، ويقدم مجموعة محولات الموناد (Monad Transformer) لتركيب سياقات التأثير المتداخلة والتعامل مع تأثيرات جانبية حسابية متعددة داخل خط أنابيب واحد. كما يتيح بناء لغات خاصة بالمجال (DSL) مضمنة من خلال تمثيل منطق البرنامج كهياكل بيانات يتم تفسيرها بشكل منفصل عن تعريفاتها. تغطي المكتبة مجالات قدرة واسعة بما في ذلك معالجة البيانات الجبرية لدمج وتقليل القيم، وإدارة الحالة الآمنة للأنواع، ومعالجة الأخطاء الوظيفية لإضفاء الطابع الرسمي على تراكم الأخطاء والتعافي منها. كما توفر أدوات لإدارة الحسابات ذات التأثير وتوسيع أنواع المجموعات القياسية بقدرات وظيفية. تتضمن المكتبة آليات للتحقق من القوانين الجبرية لضمان التزام مثيلات فئات الأنواع بالخصائص الرياضية.

Scalaz هي مكتبة برمجة وظيفية لـ Scala توفر مجموعة من هياكل البيانات الوظيفية البحتة وفئات النوع (type classes). تعمل كإطار عمل لتنظيم السلوكيات الوظيفية في تسلسلات هرمية لتمكين البرمجة العامة والتحويلات الآمنة من حيث النوع. تتضمن المكتبة أدوات لتكوين وإدارة التأثيرات الوظيفية المتداخلة داخل مكدس نوع واحد من خلال نظام محول الموناد (monad transformer). توفر هياكل بيانات لتمثيل ودمج تأثيرات الإدخال والإخراج والاختيارية. يغطي المشروع سطحًا واسعًا من التجريدات الوظيفية، بما في ذلك تنفيذ أنماط البرمجة المبدئية وإدارة عمليات الإدخال والإخراج كقيم من الدرجة الأولى. كما يوفر آليات لاستدعاء فئات النوع وتطبيق البنية الوظيفية على هياكل البيانات.