1 repository
Awesome GitHub RepositoriesDo-Notation Type Validation
Static 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.
Explore 1 awesome GitHub repository matching programming languages & runtimes · Do-Notation Type Validation. Refine with filters or upvote what's useful.
Awesome Do-Notation Type Validation GitHub Repositories
Găsește cele mai bune repo-uri cu AI.Vom căuta cele mai potrivite repository-uri folosind AI.
- dry-python/returns
dry-python/returns
4,310Vezi pe GitHubReturns is a functional programming library for Python that provides type-safe containers for managing state, error handling, and optionality. It serves as a monadic container library and a type-safe error handling framework, replacing traditional try-catch blocks and null checks with Result and Optional containers to treat exceptions as data. The project is distinguished by its use of a specialized Mypy static analysis plugin to validate functional pipelines and emulate higher kinded types. It provides mechanisms for isolating side effects through IO containers and offers a framework for typ
Enforces type consistency within monadic do-notation blocks through static analysis to prevent mixing container types.
Python
