AINeutralarXiv – CS AI · 6h ago6/10
🧠
Governed Metaprogramming for Intelligent Systems: Reclassifying Eval as a Governed Effec
Researchers propose governed metaprogramming, a language design framework that reclassifies the eval function from an unrestricted primitive into a controlled effect subject to governance and inspection. The approach aims to address security and authority risks in AI systems that synthesize executable code at runtime, with implementation demonstrated in MashinTalk, a DSL for AI workflows.