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 Β· WWC 2025

2:00 min

The origins and early problems solved by TypeScript

Dani Coll Dani Coll Β· WWC Europe 2026

3:08 min

Introduction to basic TypeScript capabilities and type annotations

Jens Claes Β· WWC 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 Β· WWC 2023

1:20 min

Core takeaways for end-to-end TypeScript development

Marco Podien Marco Podien Β· WWC 2025

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

Your Brain Is Lying to You: Cognitive Biases in Development

Kate Astrid

Senior Product Engineer

Kate Astrid
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

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

Isaac Evans

Co-founder & CEO of Semgrep

Isaac Evans
Open session

World Congress 2026 North America

Your Threat Model Is Lying to You: Why Modeling the Design Isn’t Enough in 2026

Farshad Abasi

CEO/Founder, Eureka DevSecOps + Forward Security

Farshad Abasi
Open session

World Congress 2026 North America

Your Evals Passed. Your Agent Just Emptied a Database.

Tejas Pravinbhai Patel

IEEE Award-Winning Researcher | Best Keynote Speaker | Sr. Software Engineer at Amazon | AI Systems & Agent Architect

Tejas Pravinbhai Patel