2 dépôts
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
Trouvez les meilleurs dépôts grâce à l'IA.Nous recherchons les dépôts les plus pertinents grâce à l'IA.
- gcanti/fp-ts
gcanti/fp-ts
11,523Voir sur 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,447Voir sur GitHubCats est une bibliothèque de programmation fonctionnelle et de classes de types pour Scala, conçue pour implémenter des patterns algébriques et des abstractions fonctionnelles. Elle fournit un ensemble standardisé d'interfaces et une boîte à outils modulaire de wrappers et conteneurs fonctionnels pour permettre le polymorphisme ad-hoc et la programmation générique sur des types disparates. Le projet sert de standard d'abstraction fonctionnelle, offrant une suite de transformateurs de monades pour composer des contextes à effets imbriqués et gérer de multiples effets de bord computationnels au sein d'un pipeline unique. Il permet en outre la construction de langages dédiés (DSL) embarqués en représentant la logique du programme sous forme de structures de données interprétées séparément de leurs définitions. La bibliothèque couvre de larges domaines de capacités, incluant la manipulation de données algébriques pour combiner et réduire des valeurs, la gestion d'état typée, et la gestion fonctionnelle des erreurs pour formaliser l'accumulation et la récupération d'erreurs. Elle fournit également des outils pour la gestion de calculs à effets et l'extension des types de collection standard avec des capacités fonctionnelles. La bibliothèque inclut des mécanismes de validation des lois algébriques pour garantir que les instances de classes de types respectent les propriétés mathématiques.
Provides the ability to convert a collection of effectful values into a single effectful collection.
Scala
