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

Introduction to the speakers and the TypeScript problem

Michael Hladky +1 · LIVE

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 Chris Heilmann +2 · LIVE

7:13 min

Evaluating benefits and trade-offs of using TypeScript

Phil Nash · World Congress 2023

Upcoming sessions on this topic

Open session

From Profiler to Production: Measuring What Actually Matters in React & React Native

  • Andrei Tazetdinov

    Dynatrace

    React Native Developer

Open session

Beware of Strangers Bearing Code: Open Source Trust in the Agent Era

  • Vikram Vaswani

    Consultant

Open session

Supply Chain Security for the Everyday Engineer

  • Pradumna Saraf

    Kestra Technologies

    Quality Assurance Engineer

Open session

Teaching AI Coding Agents to Build It Right the First Time

  • Sajeetharan Sinnathurai

    Microsoft

    Principal Product Manager

Open session

Designing for Every Direction: Logical CSS for Global, Adaptive, and Effortlessly Reversible UIs

  • Vidhya Krishnamoorthy

    Morgan Stanley

    VP, Software Engineering Manager

Open session

Prompt Debt: Why Your AI System Is Frozen in Time

  • Suriya Prakash B

    Red Hat

    Principal Software Engineer