2 مستودعات
Awesome GitHub RepositoriesEffectful Sequencing
Converting a collection of computations that return an effect into a single computation that returns a collection of results.
Distinct from Array Reductions: Unlike general reduction, this preserves the effect context across the entire collection (e.g., Task.sequence).
Explore 2 awesome GitHub repositories matching scientific & mathematical computing · Effectful Sequencing. Refine with filters or upvote what's useful.
Awesome Effectful Sequencing GitHub Repositories
اعثر على أفضل المستودعات باستخدام الذكاء الاصطناعي.سنبحث عن أفضل المستودعات المطابقة باستخدام الذكاء الاصطناعي.
- gcanti/fp-ts
gcanti/fp-ts
11,523عرض على GitHubfp-ts is a TypeScript library that brings pure functional programming patterns to the language through algebraic data types, type class abstractions, and composable combinators. It provides foundational data types like Option for optional values, Either for typed error handling, and Task for lazy asynchronous computations, all designed to make invalid states unrepresentable and side effects explicit. The library is built on category theory concepts, offering type classes such as Functor, Applicative, Monad, Semigroup, and Monoid with lawful instances for common data structures. The library di
Converts a collection of effectful computations into a single computation returning a collection of results.
TypeScriptalgebraic-data-typesfunctional-programmingtypescript - typelevel/cats
typelevel/cats
5,447عرض على GitHubCats هو مكتبة برمجة وظيفية في Scala ومكتبة فئات الأنواع (Type Class) مصممة لتنفيذ الأنماط الجبرية والتجريدات الوظيفية. توفر مجموعة موحدة من الواجهات ومجموعة أدوات معيارية من الأغلفة والحاويات الوظيفية لتمكين تعدد الأشكال المخصص والبرمجة العامة عبر أنواع متباينة. يعمل المشروع كمعيار للتجريد الوظيفي، ويقدم مجموعة محولات الموناد (Monad Transformer) لتركيب سياقات التأثير المتداخلة والتعامل مع تأثيرات جانبية حسابية متعددة داخل خط أنابيب واحد. كما يتيح بناء لغات خاصة بالمجال (DSL) مضمنة من خلال تمثيل منطق البرنامج كهياكل بيانات يتم تفسيرها بشكل منفصل عن تعريفاتها. تغطي المكتبة مجالات قدرة واسعة بما في ذلك معالجة البيانات الجبرية لدمج وتقليل القيم، وإدارة الحالة الآمنة للأنواع، ومعالجة الأخطاء الوظيفية لإضفاء الطابع الرسمي على تراكم الأخطاء والتعافي منها. كما توفر أدوات لإدارة الحسابات ذات التأثير وتوسيع أنواع المجموعات القياسية بقدرات وظيفية. تتضمن المكتبة آليات للتحقق من القوانين الجبرية لضمان التزام مثيلات فئات الأنواع بالخصائص الرياضية.
Provides the ability to convert a collection of effectful values into a single effectful collection.
Scala
