Declarative Metaprogramming

Kind: algorithm

Record: algorithms:declarative-metaprogramming

Canonical: Algorithms

Closure: Dependencies in load order

Represent behavior as data, validate the model or DSL, compile or interpret it into runtime behavior, and restrict reflection or code generation behind safety contracts.

Listed in Algorithm contracts, after Control Plane and before Streaming Dataflow.

Domain

• Architecture

Tier

• leaf

Math type

• Computation

Force

• Contract compatibility
• Correctness verification
• Metaprogramming modeling
• Model governance

Linked from

• The mathematics
• Domain tiers
• The forces