2 रिपॉजिटरी
Awesome GitHub RepositoriesType Class Polymorphism
Implementation of ad hoc polymorphism using type classes and instance mappings based on category theory.
Distinct from Polymorphic Type Mapping: Focuses on category-theory based type classes (Functor, Monad) rather than serialization-based polymorphic mapping.
Explore 2 awesome GitHub repositories matching software engineering & architecture · Type Class Polymorphism. Refine with filters or upvote what's useful.
Awesome Type Class Polymorphism GitHub Repositories
AI के साथ बेहतरीन रिपॉजिटरी खोजें।हम AI का उपयोग करके सबसे सटीक रिपॉजिटरी खोजेंगे।
- gcanti/fp-ts
gcanti/fp-ts
11,523GitHub पर देखेंfp-ts is a TypeScript library that brings pure functional programming patterns to the language through algebraic data types, type class abstractions, and composable combinators. It provides foundational data types like Option for optional values, Either for typed error handling, and Task for lazy asynchronous computations, all designed to make invalid states unrepresentable and side effects explicit. The library is built on category theory concepts, offering type classes such as Functor, Applicative, Monad, Semigroup, and Monoid with lawful instances for common data structures. The library di
Maps shared behaviors to data types through type class instances obeying mathematical laws.
TypeScriptalgebraic-data-typesfunctional-programmingtypescript - typelevel/cats
typelevel/cats
5,447GitHub पर देखेंCats एक Scala फंक्शनल प्रोग्रामिंग लाइब्रेरी और टाइप क्लास लाइब्रेरी है जिसे बीजगणितीय पैटर्न और फंक्शनल एब्स्ट्रैक्शंस को लागू करने के लिए डिज़ाइन किया गया है। यह इंटरफेस का एक मानकीकृत सेट और फंक्शनल रैपर्स व कंटेनर्स का एक मॉड्यूलर टूलकिट प्रदान करता है ताकि विभिन्न टाइप्स में एड-हॉक पॉलीमॉर्फिज्म और जेनेरिक प्रोग्रामिंग को सक्षम किया जा सके। यह प्रोजेक्ट एक फंक्शनल एब्स्ट्रैक्शन स्टैंडर्ड के रूप में कार्य करता है, जो नेस्टेड इफेक्टफुल कॉन्टेक्स्ट को कंपोज़ करने और एक ही पाइपलाइन के भीतर कई कम्प्यूटेशनल साइड इफेक्ट्स को संभालने के लिए एक मोनाड ट्रांसफॉर्मर सूट प्रदान करता है। यह प्रोग्राम लॉजिक को डेटा स्ट्रक्चर्स के रूप में प्रस्तुत करके एम्बेडेड डोमेन-विशिष्ट भाषाओं के निर्माण को सक्षम बनाता है जिन्हें उनकी परिभाषाओं से अलग से इंटरप्रेट किया जाता है। यह लाइब्रेरी व्यापक क्षमता क्षेत्रों को कवर करती है जिसमें मानों को संयोजित और कम करने के लिए बीजगणितीय डेटा मैनिपुलेशन, टाइप-सेफ स्टेट मैनेजमेंट और एरर एक्यूमुलेशन व रिकवरी को औपचारिक बनाने के लिए फंक्शनल एरर हैंडलिंग शामिल है। यह इफेक्टफुल कम्प्यूटेशन मैनेजमेंट और फंक्शनल क्षमताओं के साथ स्टैंडर्ड कलेक्शन टाइप्स के विस्तार के लिए भी उपकरण प्रदान करता है। इस लाइब्रेरी में यह सुनिश्चित करने के लिए बीजगणितीय लॉ वैलिडेशन के तंत्र शामिल हैं कि टाइप क्लास इंस्टेंस गणितीय गुणों का पालन करते हैं।
Implements ad-hoc polymorphism using type classes to define shared algebraic behaviors across disparate types.
Scala
