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,523在 GitHub 上查看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,447在 GitHub 上查看Cats is a Scala functional programming library and type class library designed to implement algebraic patterns and functional abstractions. It provides a standardized set of interfaces and a modular toolkit of functional wrappers and containers to enable ad-hoc polymorphism and generic programming across disparate types. The project serves as a functional abstraction standard, offering a monad transformer suite to compose nested effectful contexts and handle multiple computational side effects within a single pipeline. It further enables the construction of embedded domain-specific languages
Provides the ability to convert a collection of effectful values into a single effectful collection.
Scala
