> Markdown version of [/events/world-congress-2026-europe/sessions/1042-type-systems-you](https://www.wearedevelopers.com/events/world-congress-2026-europe/sessions/1042-type-systems-you). Every page supports `.md` or `Accept: text/markdown`. Links point to the HTML versions so they work for humans too. Agent guide: [/agents.md](https://www.wearedevelopers.com/agents.md).

---

# Type Systems You Might Not Know (But Will Love)


- **Date:** Thursday, Jul 9, 2026
- **Time:** 13:30–14:00 (30 min)
- **Room:** Stage 2
- **Event:** World Congress 2026 Europe

## Recording

[Watch recording](https://www.wearedevelopers.com/videos/100067-type-systems-you-might-not-know-but-will-love)

## Description

Most devs, when confronted with types, only have to worry about "static vs dynamic". In this talk, we will demystify all those languages you’ve heard about for their weird type systems (Haskell, anyone?) as well as talk about type systems you might never have heard of, and discover why they’re awesome, useful, and solve real bugs! We’ll start with Rust’s affine ownership and Agda’s dependent types before touring a few out-there ideas.

We’ll build a solid mental model for modern production type systems as well as build a foundation for you to dive deeper into more obscure type system research if you so desire. We’ll build tiny runnable models, explore implementations, and you’ll leave with frameworks, resources, and a roadmap to go deeper, without needing a PhD.

## Speaker

### [Veit Heller](https://www.wearedevelopers.com/@veit-heller)

Technologist at Large


## Related talks at this congress

- [TypeScript Features That Changed the Game](https://www.wearedevelopers.com/events/world-congress-2026-europe/sessions/1049-typescript-features) — Dani Coll
- [Stop Parsing Strings: Treating LLMs Like Type-Safe Microservices](https://www.wearedevelopers.com/events/world-congress-2026-europe/sessions/1327-stop-parsing-strings) — André Behrens
- [Java Sucks (So C# Didn't Have To)](https://www.wearedevelopers.com/events/world-congress-2026-europe/sessions/1305-java-sucks-so-c-didn) — Adele Carpenter
- [When Humans Stop Writing Code: Rethinking Languages, Compilers, and Responsibility](https://www.wearedevelopers.com/events/world-congress-2026-europe/sessions/1118-when-humans-stop) — Simon Auer