Giovanni Ruggiero

Giovanni Ruggiero

Data Architect

https://www.agilelab.it/

Writing Scala since 2009 (2.7 with Lift). Passionate about Functional Programming with Type Driven Development. Amateur in formal methods. Mostly work with data and distributed systems.

Sessions

Type-Driven AI: High quality Scala code with LLM

Talk
Speed without quality is debt. This talk shows how Scala's type system, combined with a multi-layer validation pipeline (compiler, linting, property tests, mutation testing, and formal verification) helped by a concepts inventory and types generation acts as a guardrail for LLM-generated code, keeping correctness non-negotiable.