Tag
partial-evaluation
- Feb 20, 2026 Policy as Code: Decision Engines and Deterministic Evaluation How a general-purpose policy engine turns rules into a decision, why partial evaluation produces residual queries, and what non-determinism costs an authorization system. security
- Jun 5, 2024 Multi-Stage Programming and Cross-Stage Persistence How staged languages type the distinction between code and its generation, what run and splice mean at each level, and why a value captured at one stage must be embeddable in the next. programming languages