1 रिपॉजिटरी
Awesome GitHub RepositoriesType Constructor Combinations
Mechanisms for combining two values of a type constructor and providing a default empty representation.
Distinct from Type Constraint Combinations: Distinct from Type Constraint Combinations by focusing on the values produced by type constructors rather than the constraints on the types themselves.
Explore 1 awesome GitHub repository matching programming languages & runtimes · Type Constructor Combinations. Refine with filters or upvote what's useful.
Awesome Type Constructor Combinations GitHub Repositories
AI के साथ बेहतरीन रिपॉजिटरी खोजें।हम AI का उपयोग करके सबसे सटीक रिपॉजिटरी खोजेंगे।
- typelevel/cats
typelevel/cats
5,447GitHub पर देखेंCats एक Scala फंक्शनल प्रोग्रामिंग लाइब्रेरी और टाइप क्लास लाइब्रेरी है जिसे बीजगणितीय पैटर्न और फंक्शनल एब्स्ट्रैक्शंस को लागू करने के लिए डिज़ाइन किया गया है। यह इंटरफेस का एक मानकीकृत सेट और फंक्शनल रैपर्स व कंटेनर्स का एक मॉड्यूलर टूलकिट प्रदान करता है ताकि विभिन्न टाइप्स में एड-हॉक पॉलीमॉर्फिज्म और जेनेरिक प्रोग्रामिंग को सक्षम किया जा सके। यह प्रोजेक्ट एक फंक्शनल एब्स्ट्रैक्शन स्टैंडर्ड के रूप में कार्य करता है, जो नेस्टेड इफेक्टफुल कॉन्टेक्स्ट को कंपोज़ करने और एक ही पाइपलाइन के भीतर कई कम्प्यूटेशनल साइड इफेक्ट्स को संभालने के लिए एक मोनाड ट्रांसफॉर्मर सूट प्रदान करता है। यह प्रोग्राम लॉजिक को डेटा स्ट्रक्चर्स के रूप में प्रस्तुत करके एम्बेडेड डोमेन-विशिष्ट भाषाओं के निर्माण को सक्षम बनाता है जिन्हें उनकी परिभाषाओं से अलग से इंटरप्रेट किया जाता है। यह लाइब्रेरी व्यापक क्षमता क्षेत्रों को कवर करती है जिसमें मानों को संयोजित और कम करने के लिए बीजगणितीय डेटा मैनिपुलेशन, टाइप-सेफ स्टेट मैनेजमेंट और एरर एक्यूमुलेशन व रिकवरी को औपचारिक बनाने के लिए फंक्शनल एरर हैंडलिंग शामिल है। यह इफेक्टफुल कम्प्यूटेशन मैनेजमेंट और फंक्शनल क्षमताओं के साथ स्टैंडर्ड कलेक्शन टाइप्स के विस्तार के लिए भी उपकरण प्रदान करता है। इस लाइब्रेरी में यह सुनिश्चित करने के लिए बीजगणितीय लॉ वैलिडेशन के तंत्र शामिल हैं कि टाइप क्लास इंस्टेंस गणितीय गुणों का पालन करते हैं।
Provides the ability to combine values of a type constructor based on the constructor's structure.
Scala
