dotnet/csharplang

Features

• Language Design Processes - Provides the formal process and framework for proposing and refining the C# language specification.
• Async-Await Flow Control - Transforms asynchronous methods into state machines to pause and resume execution without blocking threads.
• Asynchronous Programming Patterns - Defines language-level patterns and keywords for managing non-blocking execution flows.
• Generic Types - Creates type-safe structures that operate on multiple types through parameterization and compile-time resolution.
• Language Integrated Query (LINQ) - Integrates a query-based syntax directly into the language to abstract data retrieval and transformation.
• Language Specifications and Standards - Establishes the formal rules governing syntax, type safety, and memory management.
• Community-Driven Specifications - Manages the community-driven process for debating and adopting new language features.
• Language Specifications - Provides the formal documentation and standards defining the syntax and behavior of the language.
• C API Specifications - Serves as the official technical design and grammar definition for the language.
• Nullable - Implements static analysis tracking for nullable reference types to prevent dereference errors.
• Asynchronous Execution - Runs methods without blocking the calling thread by using specialized keywords to wait for completion.
• Generic Type Definitions - Defines classes and methods that operate on multiple types while maintaining static type safety.
• Nullability Tracking - Tracks the null state of reference types during compilation to warn about potential dereference errors.
• Type System Engineering - Defines the engineering rules for the C# type system, including generics and memory safety.
• Pattern Matching - Evaluates object shapes and types through a recursive decision tree to execute logic based on value patterns.
• Deterministic Resource Disposal - Specifies rules for deterministic disposal of unmanaged resources to prevent memory leaks.
• Raw String Literals - Defines strings that preserve whitespace and ignore escape characters to simplify embedding structured data.
• Asynchronous Streams - Processes collections of data using specialized loops and disposal patterns to avoid blocking the execution thread.
• Collection Expressions - Initializes various collection-like types efficiently using a uniform and concise syntax.
• Delegates - Defines the behavior and specification of type-safe delegates for function management.
• Extension Methods - Defines the mechanism for adding new methods to existing types without modifying their source code.
• First-Class Functions - Provides type-safe objects to store and pass method references as first-class citizens.
• Syntax Prototyping - Implements prototyping for modern patterns like string interpolation and collection expressions.
• Pattern Matching - Evaluates values against relational or logical patterns to execute logic based on the object's shape.
• Auto-Implemented Properties - Reads and writes to underlying storage of a property without manually declaring a separate private field.
• Memory Spans - Implements type-safe views into arbitrary memory regions to reduce allocations and improve data access speed.
• Primary Constructors - Declares constructor parameters directly on the class definition to minimize redundant field declarations.
• Record Types - Implements equality and mutation for types based on their stored data rather than their memory address.
• Dynamic Type Dispatching Systems - Defines how members are resolved at runtime by bypassing static type checking.
• Template Interpolation - Creates strings by embedding expressions directly into a template to improve readability and maintainability.
• Encapsulation Modifiers - Defines the keywords and mechanisms used to control the visibility and access scope of members.
• Memory Spans - Defines type-safe memory spans to optimize performance and reduce allocations.
• Generic Pattern Matching - Specifies the syntax for type-checking generic objects and binding them to typed variables.
• Core Frameworks - The official repository for the evolution of the language.

Star history