1 مستودع
Awesome GitHub RepositoriesCurried Function Type Validation
Static 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.
Explore 1 awesome GitHub repository matching software engineering & architecture · Curried Function Type Validation. Refine with filters or upvote what's useful.
Awesome Curried Function Type Validation GitHub Repositories
اعثر على أفضل المستودعات باستخدام الذكاء الاصطناعي.سنبحث عن أفضل المستودعات المطابقة باستخدام الذكاء الاصطناعي.
- dry-python/returns
dry-python/returns
4,310عرض على GitHubReturns هي مكتبة برمجة وظيفية لـ Python توفر حاويات آمنة من حيث النوع لإدارة الحالة، ومعالجة الأخطاء، والاختيارية. تعمل كمكتبة حاويات مونادية (monadic) وإطار عمل لمعالجة الأخطاء آمن من حيث النوع، حيث تستبدل كتل try-catch التقليدية وفحوصات null بحاويات Result و Optional لمعاملة الاستثناءات كبيانات. يتميز المشروع باستخدامه لمكون إضافي متخصص للتحليل الثابت Mypy للتحقق من خطوط الأنابيب الوظيفية ومحاكاة الأنواع ذات الرتب الأعلى. يوفر آليات لعزل الآثار الجانبية من خلال حاويات IO ويقدم إطار عمل لحقن التبعية الآمن من حيث النوع الذي يؤجل توفير التبعيات حتى التنفيذ النهائي للحساب. تغطي المكتبة نطاقاً واسعاً من البدائيات الوظيفية، بما في ذلك التجزئة (currying)، والتطبيق الجزئي، وتكوين خطوط أنابيب البيانات التصريحية. تدعم إدارة سير العمل غير المتزامن عن طريق تغليف الـ coroutines في حاويات لسلسلة العمليات غير المحظورة وتتضمن أدوات مساعدة لإدارة دورة حياة الموارد والتحقق من القوانين الجبرية للحاويات المخصصة.
Provides static type validation for curried functions and partial applications to ensure type safety across invocation stages.
Python
