Mattia Ferrini - Type Driven Development for human and AI reasoning

AI is changing the way we develop software. Mattia’s talk takes a fresh look at Type-Driven Development (TDD), and how types facilitate not only the work of human developers but also LLM reasoning.

The talk with be hands-on with code examples and open discussions

Agenda:

What is Type-Driven Development An overview of F#’s type system
How TDD facilitates human developers with AI tools LLM Tooling with types
LLM reasoning with types Compositionality and reasoning traces

Mattia is a data scientist fighting a losing battle: replacing Python with languages featuring richer type systems. As the co-founder of Entropy42, a Zurich-based startup, he specializes in the verification of ontologies and mathematical optimization programs. There, Mattia leverages type systems and provers to sharpen the performance of specialized small language models.