World Congress 2023 Aug 11, 2023

Lies we Tell Ourselves As Developers

Stefan Baumgartner

TypeScript's strict type checking is lying to you. Uncover the hidden runtime pitfalls at your architectural boundaries and learn how to bridge the safety gap.

Pause
Mute Enter Fullscreen
#1 about 5 min

Introduction to hidden problems in typical TypeScript code

Standard syntax and type definitions can compile perfectly while hiding critical failures that crash programs at runtime.

#2 about 3 min

Handling unsafe return types from external data requests

Overriding default generic responses with strictly unknown types using declaration merging enforces type validation on network payloads.

#3 about 2 min

Managing unknown error types in catch blocks safely

Preventing implicitly dangerous error properties involves configuring strict compiler flags and utilizing precise type matching techniques.

#4 about 4 min

Addressing loose implementation signatures in function overloads

Replacing easily bypassed overload definitions with conditional logic forces the compiler to accurately evaluate specific return values.

#5 about 3 min

Resolving compiler blind spots surrounding variable array mutations

Utilizing strict generic constraints locks down variable structures and prevents silent logic errors caused by untracked array modifications.

#6 about 5 min

Discovering the hidden drawbacks of advanced type mitigations

Complex static solutions introduce new architectural risks like global namespace collisions, structural typing failures, and confusing syntax patterns.

#7 about 7 min

Balancing type correctness and developer productivity pragmatically

Selecting languages and configuration levels requires weighing rigorous mathematical exactness against practical speed and team communication needs.

#8 about 6 min

Exploring alternative languages and runtime validation tools

Adopting strictly enforced validation libraries helps bridge the inherent physical gap between static compiler assumptions and runtime reality.

Matching moments

2:49 min

Understanding the limitations of compile-time TypeScript safety checks

Liran Tal Liran Tal · World Congress 2025

2:00 min

The origins and early problems solved by TypeScript

Dani Coll Dani Coll · World Congress 2026 Europe

3:08 min

Introduction to basic TypeScript capabilities and type annotations

Jens Claes · World Congress 2023

2:28 min

Exploring the benefits of type safety and TypeScript migration

Chris Heilmann +2 · LIVE

7:13 min

Evaluating benefits and trade-offs of using TypeScript

Phil Nash · World Congress 2023

1:20 min

Core takeaways for end-to-end TypeScript development

Marco Podien Marco Podien · World Congress 2025

Upcoming sessions on this topic

Open session

World Congress 2026 North America

September 24, 2026 · 16:10–16:40

Outdoor Stage

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

September 25, 2026 · 14:50–15:20

Outdoor Stage

Your Brain Is Lying to You: Cognitive Biases in Development

Kate Astrid

Senior Product Engineer

Kate Astrid
Open session

World Congress 2026 North America

September 25, 2026 · 14:50–15:20

Stage 2

There's no dark factory without better software verifiers

Dexter Horthy

Co-Founder of HumanLayer

Dexter Horthy
Open session

World Congress 2026 North America

September 25, 2026 · 11:40–12:10

Stage 6

Codifying Trade-offs: Security, Cost, and Compliance as Agent Guardrails

Suzanne Daniels

Chief Developer Advisor at Microsoft

Suzanne Daniels
Open session

World Congress 2026 North America

September 25, 2026 · 09:00–09:30

Stage 4

Don’t kill my Vibes - Simple Steps to Stay Secure when Vibe Coding

Isaac Evans

Founder & CEO of Semgrep

Isaac Evans
Open session

World Congress 2026 North America

September 24, 2026 · 15:30–16:00

Stage 3

The New Bottleneck in Software Development

Aditya Jayaprakash

Co-Founder & CEO at Blacksmith

Aditya Jayaprakash