1 repositorio
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.
Returns es una biblioteca de programación funcional para Python que proporciona contenedores con tipos seguros para gestionar el estado, el manejo de errores y la opcionalidad. Sirve como una biblioteca de contenedores monádicos y un framework de manejo de errores con tipos seguros, reemplazando los bloques try-catch tradicionales y las comprobaciones de nulos con contenedores Result y Optional para tratar las excepciones como datos. El proyecto se distingue por su uso de un plugin de análisis estático Mypy especializado para validar pipelines funcionales y emular tipos de orden superior. Proporciona mecanismos para aislar efectos secundarios a través de contenedores IO y ofrece un framework para la inyección de dependencias con tipos seguros que difiere la provisión de dependencias hasta la ejecución final de un cálculo. La biblioteca cubre una amplia gama de primitivas funcionales, incluyendo currificación, aplicación parcial y la composición de pipelines de datos declarativos. Admite la gestión de flujos de trabajo asíncronos envolviendo corrutinas en contenedores para encadenar operaciones no bloqueantes e incluye utilidades para la gestión del ciclo de vida de recursos y verificación de leyes algebraicas para contenedores personalizados.
Uses a specialized Mypy plugin to validate higher-kinded types and functional pipeline consistency.