JuliaCon 2025

What if Julia types were more than struct, Tuple, Union{} and where T?

In this talk, I'll dare to dream of an extension of Julia with powerful type features like intersection types (TypeScript), sum types (Rust), interface types (many languages), etc.

What are the implications for a user, and for the compiler? Building on the intuition of types-as-sets, we'll build a simple subtyping algorithm, explore the consequences for inference, and show how this all connects to real Julia code.

With Julia 1.12, experimental support for statically compiled executables is here, but for many the --trim feature is still a mystery. How does it work? What are its limitations? What might it look like in the future?

To answer those questions, we'll dive deep into specialized inference support, challenging language semantics, and sharp corners in workflows today. Looking to the future, we'll talk about the tooling we might need to make --trim accessible for everyday Julia programmers.