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
AI के साथ बेहतरीन रिपॉजिटरी खोजें।हम AI का उपयोग करके सबसे सटीक रिपॉजिटरी खोजेंगे।
- gcanti/fp-ts
gcanti/fp-ts
11,523GitHub पर देखेंfp-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,447GitHub पर देखेंCats एक Scala फंक्शनल प्रोग्रामिंग लाइब्रेरी और टाइप क्लास लाइब्रेरी है जिसे बीजगणितीय पैटर्न और फंक्शनल एब्स्ट्रैक्शंस को लागू करने के लिए डिज़ाइन किया गया है। यह इंटरफेस का एक मानकीकृत सेट और फंक्शनल रैपर्स व कंटेनर्स का एक मॉड्यूलर टूलकिट प्रदान करता है ताकि विभिन्न टाइप्स में एड-हॉक पॉलीमॉर्फिज्म और जेनेरिक प्रोग्रामिंग को सक्षम किया जा सके। यह प्रोजेक्ट एक फंक्शनल एब्स्ट्रैक्शन स्टैंडर्ड के रूप में कार्य करता है, जो नेस्टेड इफेक्टफुल कॉन्टेक्स्ट को कंपोज़ करने और एक ही पाइपलाइन के भीतर कई कम्प्यूटेशनल साइड इफेक्ट्स को संभालने के लिए एक मोनाड ट्रांसफॉर्मर सूट प्रदान करता है। यह प्रोग्राम लॉजिक को डेटा स्ट्रक्चर्स के रूप में प्रस्तुत करके एम्बेडेड डोमेन-विशिष्ट भाषाओं के निर्माण को सक्षम बनाता है जिन्हें उनकी परिभाषाओं से अलग से इंटरप्रेट किया जाता है। यह लाइब्रेरी व्यापक क्षमता क्षेत्रों को कवर करती है जिसमें मानों को संयोजित और कम करने के लिए बीजगणितीय डेटा मैनिपुलेशन, टाइप-सेफ स्टेट मैनेजमेंट और एरर एक्यूमुलेशन व रिकवरी को औपचारिक बनाने के लिए फंक्शनल एरर हैंडलिंग शामिल है। यह इफेक्टफुल कम्प्यूटेशन मैनेजमेंट और फंक्शनल क्षमताओं के साथ स्टैंडर्ड कलेक्शन टाइप्स के विस्तार के लिए भी उपकरण प्रदान करता है। इस लाइब्रेरी में यह सुनिश्चित करने के लिए बीजगणितीय लॉ वैलिडेशन के तंत्र शामिल हैं कि टाइप क्लास इंस्टेंस गणितीय गुणों का पालन करते हैं।
Provides the ability to convert a collection of effectful values into a single effectful collection.
Scala
