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
·

1 dépôt

Awesome GitHub RepositoriesFunctional Type Validation

Static analysis specifically for verifying higher-kinded types and functional pipeline consistency.

Distinct from Static Type Checking: Specializes in validating higher-kinded types and monadic pipelines, rather than general compilation type checks.

Explore 1 awesome GitHub repository matching software engineering & architecture · Functional Type Validation. Refine with filters or upvote what's useful.

Awesome Functional Type Validation 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.
  • 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.

    Uses a specialized Mypy plugin to validate higher-kinded types and functional pipeline consistency.

    Python
    Voir sur GitHub↗4,310
  1. Home
  2. Software Engineering & Architecture
  3. TypeScript Type Definitions
  4. Static Type Checking
  5. Functional Type Validation

Explorer les sous-tags

  • Curried Function Type ValidationStatic analysis of type consistency for curried functions and partial applications. **Distinct from Functional Type Validation:** Specifically validates the type signatures of partial applications and curried stages, not general pipeline consistency.