Type-safe eval in Grace
Summary
Grace introduces a type-safe eval feature that evaluates code from strings with preserved type safety via staged type-checking. It also covers dynamic imports and privacy-preserving prompt engineering for secure LLM interactions, illustrating both potential benefits and limitations of using a typed language to drive AI-enabled workflows.