mcintyre321/OneOf
OneOf
OneOf es una biblioteca de uniones discriminadas y generador de código fuente para C# que proporciona tipos suma funcionales. Sirve como una herramienta de polimorfismo fuertemente tipado, permitiendo a los desarrolladores definir parámetros de métodos y valores de retorno que pueden ser exactamente uno de varios tipos específicos.
El proyecto implementa patrones de programación funcional para reemplazar clases base genéricas con uniones seguras de tipos. Utiliza un generador de código fuente para producir automáticamente el código repetitivo necesario para gestionar estas jerarquías de tipos de unión durante la compilación.
La biblioteca proporciona mecanismos para coincidencia de patrones y extracción de valores de unión, con cumplimiento de exhaustividad en tiempo de compilación para asegurar que cada caso de tipo posible sea manejado en expresiones switch. Admite definiciones de tipos de unión reutilizables y diseño de API polimórfico a través de firmas de retorno de múltiples tipos y soporte de parámetros.
Features
- Discriminated Unions - Provides a library for implementing tagged sum types (discriminated unions) in C# with safe runtime switching.
- C# Source Code Generators - Utilizes C# source generators to automatically produce the class hierarchies and metadata required for union types.
- Exhaustiveness Analysis - Analyzes switch expressions to ensure every member of a union is handled, triggering a compiler error for missing cases.
- Union State Matching - Provides mechanisms to execute specific handler functions based on the active variant of a union type.
- Exhaustive Pattern Matches - Enforces that all variants of a union are handled in pattern matches, providing warnings or errors for incomplete cases.
- Container Value Matching - Allows the extraction of values from multi-type containers using structural matching and switch blocks.
- Type-Safe Discriminated Unions - Implements discriminated unions in C# to ensure every possible type is handled at compile time during pattern matching.
- Union Types - Provides a utility to generate C# union types that can represent any one of several specified member types.
- Closed Class Hierarchies - Implements closed class hierarchies via source generation to restrict the possible types within a union.
- Strongly Typed Polymorphism - Provides a mechanism for defining method parameters and return values that can be exactly one of several specific types.
- Sum Type Wrappers - Wraps multiple potential types in a single object that preserves type safety while allowing polymorphic value retrieval.
- Sum Type Return Values - Provides the capability to return a value that can be any one of several predefined specific types.
- Sum Type Returns - Enables functions to return one of several distinct types, replacing generic base classes with strongly typed signatures.
- Functional Programming Patterns - Brings F#-style algebraic data types and functional programming paradigms into the imperative C# environment.
- Union Type Parameters - Allows methods to accept one of several different types as a parameter, reducing the need for multiple method overloads.
- Polymorphic API Signatures - Enables method signatures that accept or return one of several specific types without relying on generic base classes.
- Algorithms and Data Structures - Provides discriminated unions with compile-time exhaustive matching.
