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 · WWC 2022

5:59 min

Improving long-term code maintainability with explicit data type systems

Marco Otte-Witte · WWC 2023

10:02 min

Exploring object-oriented syntax features and the type system

Christoph Menzel Christoph Menzel · WWC 2022

2:28 min

Adding strong type checking and generic programming concepts

Bjarne Stroustrup · WWC 2022

1:52 min

Rethinking application design and standard code type safety practices

Liran Tal Liran Tal · WWC 2025

More from World Congress 2026 Europe

Building the Nervous System of AI - Michael Kagan (NVIDIA) thumbnail
29:17
about 1 month 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
about 1 month 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
about 1 month 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
about 1 month 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
about 1 month 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
about 1 month ago

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

Axel Ebert, Karin Krobath

Upcoming sessions on this topic

Open session

World Congress 2026 North America

When Humans Stop Writing Code: Rethinking Languages, Compilers, and Responsibility

Simon Auer

Organizer of flutter vienna meetup and CEO of marqably

Simon Auer
Open session

World Congress 2026 North America

Honey, look! I vibe-coded an OS!

Ian Smith

CTO, LYOS

Ian Smith
Open session

World Congress 2026 North America

AI That Argues With Itself: Building Self-Debating Systems That Catch Their Own Bugs

Shreya Singhal

AI Applied Scientist at Claritev

Shreya Singhal
Open session

World Congress 2026 North America

The spectrum of agentic coding: From vibe coding to high-quality software engineering

YK Sugi

Developer Experience Manager at Eventual

YK Sugi
Open session

World Congress 2026 North America

There's no dark factory without better software verifiers

Dexter Horthy

Co-Founder, HumanLayer

Dexter Horthy
Open session

World Congress 2026 North America

Designing APIs That Survive AI Agents at Scale

Phani Pendurthi

Mastercard, Principal Software Engineer

Phani Pendurthi

Related videos

Don't compromise on speedy delivery nor type-safety by choosing TypeScript thumbnail
29:44
WWC 2023 • almost 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
WWC 2023 • almost 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
WWC 2022 • about 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
WWC 2022 • about 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
WWC 2025 • 12 months 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.