Metaprogramming / Static Analysis
Kind: tension
Record: tension:metaprogramming-static-analysis
Canonical: Schema
"metaprogramming" (declarative-core layer) is traded against "Static Analysis" (computation-core layer) — a principle cannot be scope-separated from a quality, metric, or cost it competes with; resolve by measuring "Static Analysis" and choosing an explicit operating point.
Listed in Tensions, after Metaprogramming / Debuggability and before Metaprogramming / Explicit Handwritten Code.