1 repo
Language features that enforce interface requirements on generic parameters at compile time.
Distinguishing note: Focuses on type-safe generic dispatch and interface enforcement.
Explore 1 awesome GitHub repository matching programming languages & runtimes · Generic Constraint Systems. Refine with filters or upvote what's useful.
Carbon is an experimental, compiled systems programming language designed as a successor to C++. It focuses on providing a high-performance environment for modern software development while prioritizing memory safety and expressive generic programming. The language is built to support performance-critical engineering, allowing for precise control over memory layout and execution flow. A primary differentiator of the project is its bidirectional interoperability with existing C++ codebases. This allows developers to call functions and share data between languages without manual wrappers, facil
Enforces type safety by requiring explicit interface implementation for generic parameters.