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.

Mattia will use F#, but his talk does not require any prior experience with the language.