1 रिपॉजिटरी
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
AI के साथ बेहतरीन रिपॉजिटरी खोजें।हम AI का उपयोग करके सबसे सटीक रिपॉजिटरी खोजेंगे।
- dry-python/returns
dry-python/returns
4,310GitHub पर देखेंReturns 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
Uses a specialized Mypy plugin to validate higher-kinded types and functional pipeline consistency.
Python
