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.

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

Checking access…

Playback and chapters load privately for Free videos.

Matching moments

16:33 min

Exploring practical challenges of strict type systems

Michael Koppmann · LIVE

2:49 min

Introduction to the speakers and the TypeScript problem

Michael Hladky +1 · 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

More from World Congress 2026 Europe

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

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

Michael Kagan +1

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

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

Christian Heilmann · WeAreDevelopers

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

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

David vonThenen · NetApp

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

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

Irina Branovic · adjoe

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

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

Jeremy Murray · Stack8s

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

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

Axel Ebert +1

Upcoming sessions on this topic

Open session

From TypeScript to Go: How We Cut Infra Cost 26x Without Rewriting Everything

  • Barun Debnath

    Respan

    Infra Engineer

Open session

Understanding React Performance Patterns Developers Often Get Wrong

  • Himanshu Srivastava

    Best Buy India

    Software Engineer

Open session

A Tale of Two Systems: Design and Reality

  • Mandeep Singh

    Kyndryl

    Lead Software Engineer

Open session

The Dream Team You Didn't Know You Had - Multi-Model, Multi-Agent, One Software Lifecycle

  • Aditya Dua

    GitHub

    Senior Manager, Field Services, SAARC

Open session

The 200,000 line code repository: My AI wrote 1000 lines. I needed 100.

  • Hardik Gupta

    IBM

    Software Developer

Open session

Spec-Driven Development: A Pragmatic Look

  • Hari Krishnan

    Polarizer Technlogies

    Founder and CEO

Related videos

Don't compromise on speedy delivery nor type-safety by choosing TypeScript thumbnail
29:44

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

Jens Claes

World Congress · 2023

Lies we Tell Ourselves As Developers thumbnail
31:13

Lies we Tell Ourselves As Developers

Stefan Baumgartner

World Congress · 2023

Where we're going we don't need JavaScript - Programming with Type Annotations thumbnail
29:30

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

Peter Kröner · Erklärbär Enterprises

World Congress · 2022

The Art and Craft of Type Development thumbnail
43:20

The Art and Craft of Type Development

Michael Hladky +1

LIVE · Dec 2020

Building software that scales with Typescript thumbnail
37:18

Building software that scales with Typescript

Tal Joffe

World Congress · 2022

Eternal Sunshine of the Spotless Programming Language thumbnail
1:00:08

Eternal Sunshine of the Spotless Programming Language

Stefan Baumgartner

LIVE · Jan 2024

Related articles

From learning to earning

Jobs that call for the skills explored in this talk.