awesome-repositories.com
Blog
awesome-repositories.com

Découvrez les meilleurs dépôts open-source grâce à notre recherche par IA.

ExplorerRecherches sélectionnéesAlternatives open sourceLogiciels auto-hébergésBlogPlan du site
ProjetÀ proposNotre méthodologiePresseServeur MCP
Mentions légalesConfidentialitéConditions d'utilisation
© 2026 Bringes Technology SRL·VAT RO45896025·hello@awesome-repositories.com
·

2 dépôts

Awesome GitHub RepositoriesMonadic Do Notation

Syntactic patterns for sequencing monadic actions and binding intermediate results to variables.

Distinct from Collection-to-Task Sequencing: The candidates focus on ML sequence-to-sequence models or specific task sequencing, not the general monadic 'do' notation for control flow.

Explore 2 awesome GitHub repositories matching programming languages & runtimes · Monadic Do Notation. Refine with filters or upvote what's useful.

Awesome Monadic Do Notation 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-tsAvatar de gcanti

    gcanti/fp-ts

    11,523Voir sur 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

    Binds intermediate task results to named fields inside do-notation blocks for readable composition.

    TypeScriptalgebraic-data-typesfunctional-programmingtypescript
    Voir sur GitHub↗11,523
  • dry-python/returnsAvatar de dry-python

    dry-python/returns

    4,310Voir sur GitHub↗

    Returns est une bibliothèque de programmation fonctionnelle pour Python qui fournit des conteneurs typés pour gérer l'état, la gestion d'erreurs et l'optionalité. Elle sert de bibliothèque de conteneurs monadiques et de framework de gestion d'erreurs typé, remplaçant les blocs try-catch traditionnels et les vérifications de nullité par des conteneurs Result et Optional pour traiter les exceptions comme des données. Le projet se distingue par son utilisation d'un plugin d'analyse statique Mypy spécialisé pour valider les pipelines fonctionnels et émuler des types d'ordre supérieur. Il fournit des mécanismes pour isoler les effets de bord via des conteneurs IO et offre un framework pour l'injection de dépendances typée qui diffère la fourniture des dépendances jusqu'à l'exécution finale d'un calcul. La bibliothèque couvre un large éventail de primitives fonctionnelles, incluant le currying, l'application partielle et la composition de pipelines de données déclaratifs. Elle prend en charge la gestion de workflow asynchrone en enveloppant les coroutines dans des conteneurs pour enchaîner des opérations non bloquantes et inclut des utilitaires pour la gestion du cycle de vie des ressources et la vérification des lois algébriques pour les conteneurs personnalisés.

    Enforces type consistency within monadic do-notation blocks through static analysis to prevent mixing container types.

    Python
    Voir sur GitHub↗4,310
  1. Home
  2. Programming Languages & Runtimes
  3. Monadic Do Notation

Explorer les sous-tags

  • Do-Notation Type ValidationStatic verification of type consistency within monadic do-notation blocks. **Distinct from Monadic Do Notation:** Focuses on the type validation of the notation rather than the syntactic pattern of the notation itself.
  • Record ConstructionBuilding records by sequencing monadic actions and binding results. **Distinct from Monadic Do Notation:** Specific to building record structures from monadic values, rather than general control flow sequencing.