Prompting Safely: Building Secure LLM Prompts with a Scala DSL - Ignacio Gallego Sagastume & Isaias Bartelborth
Lambda World 25
•
36m
Discover how a domain-specific language (DSL) in Scala can help you design secure and composable prompts for LLMs. This talk explores techniques to prevent prompt injection, enforce prompt structure, and reason about non-deterministic behavior using a monadic effect system and Functional Programming. Also, we will show how to use automatic serialization libraries (like Circe, Play or ZIO Schema) and Scala case classes to model LLM structured responses in JSON format.
Up Next in Lambda World 25
-
Evolving AI-Assisted Web UI Developme...
In this session, I will explore the evolution of a novel approach: leveraging LLMs to generate, refactor, and incrementally update Web UIs using a domain-specific language (DSL) as a semantic bridge. In the spirit of specification as code, we look at the problem of translating abstract UI intents...
-
Does FP still matter in the era of AI?
Closing debate at Lambda World.
-
Verse - A New Functional Logic Langua...
Verse is a functional logic language mainly designed by Tim Sweeney at Epic Games. It has several unique features. In this talk I will briefly present the language, and dive a little deeper into the novel way function definitions work.
