Tag
structural-recursion
- Aug 15, 2026 Derive Macros and Structural Recursion Over Type Definitions How a derive macro walks a struct or enum field by field to generate implementations, what generic parameters and lifetimes force on the generated code, and why bound inference goes wrong. programming languages
- Apr 29, 2022 Termination Checking and the Price of Consistency Why a total language cannot have a general fixpoint, how structural and size-change checks approximate termination, and what each approximation rejects. computation theory