WeAreDevelopers Logo WeAreDevelopers
Sign in
For You LIVE
World Congress 2026 Europe • Jul 9, 2026 • Session details

Type Systems You Might Not Know (But Will Love)

Veit Heller

Stop limiting your code to the static-versus-dynamic binary. Discover five advanced type paradigms that systematically eliminate entire classes of runtime bugs before your software ever runs.

Pause
Mute Enter Fullscreen
#1 about 2 min

Introduction to esoteric and advanced type systems

Background on building compilers and a roadmap for exploring unexpected compile-time constraints.

#2 about 3 min

Moving beyond standard static and dynamic typing definitions

The traditional classifications of static, dynamic, strong, and weak typing fail to capture the full expressive power of modern systems.

#3 about 2 min

Exploring expressive capabilities of modern language types

Advanced types encode application-level constraints like closed sockets, un-empty lists, and timeline protocols directly into the compiler.

#4 about 3 min

Managing memory and state with affine ownership types

Affine and linear substructural type systems eliminate data races and manual memory management by enforcing usage limits.

#5 about 6 min

Live coding type inference for refinement types

Building a miniature Python type checker demonstrates how refinement types carry predicates to solve problems like division by zero.

#6 about 4 min

Implementing subtyping with robust interval arithmetic constraints

Subtyping in refinement systems relies on interval mathematics and set operations to validate value bounds.

#7 about 2 min

Handling application side effects with algebraic effect systems

Effect systems force explicit handling of operations like disk access and network calls directly in the function signature.

#8 about 2 min

Encoding communication protocols using sequential session types

Session types validate concurrent operations by enforcing specific, ordered sequences of communication over channels.

#9 about 4 min

Constructing mathematical proofs using advanced dependent types

Dependent types use values on the type level to establish formal mathematical concepts and proofs.

#10 about 3 min

Exploring expressive type systems in future development workflows

Exploring novel type axes provides a deeper vocabulary for expressing program intent and guarantees.

Matching moments

16:33 min

Exploring practical challenges of strict type systems

Michael Koppmann · LIVE

3:48 min

Leveraging static type systems for advanced compiler optimizations

Bjarne Stroustrup · World Congress 2022

5:59 min

Improving long-term code maintainability with explicit data type systems

Marco Otte-Witte · World Congress 2023

10:02 min

Exploring object-oriented syntax features and the type system

Christoph Menzel Christoph Menzel · World Congress 2022

2:28 min

Adding strong type checking and generic programming concepts

Bjarne Stroustrup · World Congress 2022

1:52 min

Rethinking application design and standard code type safety practices

Liran Tal Liran Tal · World Congress 2025

More from World Congress 2026 Europe

Building the Nervous System of AI - Michael Kagan (NVIDIA) thumbnail
29:17
3 months ago

Building the Nervous System of AI - Michael Kagan (NVIDIA)

Michael Kagan, Sead Ahmetović

Five Things in Tech that Matter Now - WeAreDevelopers World Congress 2026 Closing Keynote thumbnail
19:41
3 months ago

Five Things in Tech that Matter Now - WeAreDevelopers World Congress 2026 Closing Keynote

Christian Heilmann

The Sound of Your Secrets: Teaching Your Model to Spy, So You Can Learn to Defend thumbnail
32:06
3 months ago

The Sound of Your Secrets: Teaching Your Model to Spy, So You Can Learn to Defend

David vonThenen

Super scaling for the Super Bowl: How to survive 30 million users hitting your backend in 30 minutes thumbnail
35:13
3 months ago

Super scaling for the Super Bowl: How to survive 30 million users hitting your backend in 30 minutes

Irina Branovic

Running Secure Life Science Research at Scale using Hybrid GPU HPC and Kubernetes 🧬 thumbnail
24:23
3 months ago

Running Secure Life Science Research at Scale using Hybrid GPU HPC and Kubernetes 🧬

Jeremy Murray

Angstfreude - AI and Corporate Culture - The Thrill and the Threat thumbnail
30:26
3 months ago

Angstfreude - AI and Corporate Culture - The Thrill and the Threat

Axel Ebert, Karin Krobath

Related videos

Don't compromise on speedy delivery nor type-safety by choosing TypeScript thumbnail
29:44
World Congress 2023 • about 3 years ago

Don't compromise on speedy delivery nor type-safety by choosing TypeScript

Jens Claes

Lies we Tell Ourselves As Developers thumbnail
31:13
World Congress 2023 • about 3 years ago

Lies we Tell Ourselves As Developers

Stefan Baumgartner

Where we're going we don't need JavaScript - Programming with Type Annotations thumbnail
29:30
World Congress 2022 • over 4 years ago

Where we're going we don't need JavaScript - Programming with Type Annotations

Peter Kröner

Building software that scales with Typescript thumbnail
37:18
World Congress 2022 • over 4 years ago

Building software that scales with Typescript

Tal Joffe

Eternal Sunshine of the Spotless Programming Language thumbnail
1:00:08
LIVE • over 2 years ago

Eternal Sunshine of the Spotless Programming Language

Stefan Baumgartner

End-to-End TypeScript: Completing the Modern Development Stack thumbnail
29:17
World Congress 2025 • about 1 year ago

End-to-End TypeScript: Completing the Modern Development Stack

Marco Podien

Related articles

From learning to earning

Jobs that call for the skills explored in this talk.