1 dépôt
Awesome GitHub RepositoriesBinding Kind Checks
Testing whether a named binding is a function, macro, struct, interface, or other specific kind.
Distinct from Binding Inspection: Distinct from Binding Inspection: focuses on classifying the kind of a binding, not inspecting its structure or arguments.
Explore 1 awesome GitHub repository matching operating systems & systems programming · Binding Kind Checks. Refine with filters or upvote what's useful.
Awesome Binding Kind Checks GitHub Repositories
Trouvez les meilleurs dépôts grâce à l'IA.Nous recherchons les dépôts les plus pertinents grâce à l'IA.
- carp-lang/carp
carp-lang/Carp
5,815Voir sur GitHubCarp is a statically typed Lisp compiler that compiles Lisp-like syntax directly to C source code, enabling seamless integration with existing C libraries and low-level system programming. It manages memory deterministically at compile time using ownership tracking and linear types, eliminating garbage collection pauses and runtime overhead while ensuring type safety through an inferred static type system. The language distinguishes itself through compile-time macro expansion and metaprogramming capabilities, allowing code generation and transformation before final binary output. It enforces
Provides runtime checks to classify bindings by their kind in the environment.
Haskellfunctionalfunctional-programminggame-development
