WeAreDevelopers Logo WeAreDevelopers
Sign in
For You LIVE
World Congress 2022 • Jun 15, 2022

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

Peter Kröner

What if you could encode complex business logic entirely without JavaScript? Master TypeScript's Turing-complete type system to enforce strict, zero-runtime API contracts.

Pause
Mute Enter Fullscreen
#1 about 3 min

Comparing JavaScript variables to TypeScript type annotations

How generic abstractions function as dynamic value factories rather than static variable assignments.

#2 about 4 min

Mapping standard JavaScript structures into TypeScript object definitions

Translating conventional arrays, record objects, and index configurations into purely abstract definitions.

#3 about 4 min

Filtering sets using logic conditionals and the never type

Utilizing explicit empty bounds and condition branches to build strict structural filters.

#4 about 5 min

Deriving programmatic business logic exclusively through pure type abstractions

Formulating standalone definitions to enforce reliable protocol consistency across extensive software boundaries.

#5 about 5 min

Establishing structured message routing protocols across distributed browser extensions

Structuring explicit communication parameters to synchronize operations securely between isolated runtime layers.

#6 about 5 min

Constraining generic function parameters utilizing the primary keyof operator

Extracting runtime string variations natively to prevent incorrect component requests and mismatches.

#7 about 3 min

Automating broad codebase validations via consistent type level constructs

Establishing deeply integrated verification environments relying exclusively upon strict set-based mathematical rules.

#8 about 5 min

Managing compilation performance and implementation specifics of advanced typing

Evaluating potential compiler sluggishness, syntax usage tradeoffs, and internal definition readability strategies.

Matching moments

3:08 min

Introduction to basic TypeScript capabilities and type annotations

Jens Claes · World Congress 2023

4:18 min

Core design principles and features of TypeScript

Lars Hupel · World Congress 2022

2:00 min

The origins and early problems solved by TypeScript

Dani Coll Dani Coll · World Congress 2026 Europe

3:28 min

Adopting a JavaScript-centric approach to TypeScript

Tal Joffe · JS Congress

2:28 min

Exploring the benefits of type safety and TypeScript migration

Chris Heilmann Chris Heilmann +2 · LIVE

1:20 min

Core takeaways for end-to-end TypeScript development

Marco Podien Marco Podien · World Congress 2025

More from World Congress 2022

What the heck do "declarative" and "reactive" actually mean? thumbnail
30:40
about 4 years ago

What the heck do "declarative" and "reactive" actually mean?

André Kovac

The Design and Evolution of C++ thumbnail
1:01:15
over 4 years ago

The Design and Evolution of C++

Bjarne Stroustrup

But, you're not Facebook thumbnail
31:12
over 4 years ago

But, you're not Facebook

Kristijan Ristovski

Communicate efficiently with Software Architecture Diagrams thumbnail
28:11
over 4 years ago

Communicate efficiently with Software Architecture Diagrams

Simon Lasselsberger

Get Ready for Jakarta EE 10! thumbnail
42:53
over 4 years ago

Get Ready for Jakarta EE 10!

Ivar Grimstad

Keep your code refactorable thumbnail
26:46
over 4 years ago

Keep your code refactorable

Gerrit Stapper

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

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

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

  • Vikram Vaswani

    Consultant

Open session

From Prompt Engineering to Harness Engineering: Building Observable and Governed GenAI Systems

  • Lakshmi Devi Prakash

    JPMorgan Chase

    VP, Applied AI/ML Lead

Open session

Build a Zero-Cost AI Agent in Your Browser

  • Aishwarya Mathuria

    Adobe

    Computer Scientist

  • Nishant Thakur

    Adobe

    Senior Computer Scientist

Related videos

Don't compromise on speedy delivery nor type-safety by choosing TypeScript thumbnail
29:44
World Congress 2023 • about 3 years ago

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

Jens Claes

All you need is types thumbnail
48:56
JS Congress • almost 5 years ago

All you need is types

Tal Joffe

Lies we Tell Ourselves As Developers thumbnail
31:13
World Congress 2023 • about 3 years ago

Lies we Tell Ourselves As Developers

Stefan Baumgartner

TypeScript Features That Changed the Game thumbnail
14:03
World Congress 2026 Europe • 3 months ago

TypeScript Features That Changed the Game

Dani Coll

The Art and Craft of Type Development thumbnail
43:20
LIVE • almost 6 years ago

The Art and Craft of Type Development

Michael Hladky, Stefan Baumgartner

Do TypeScript without TypeScript thumbnail
43:27
JS Congress • almost 5 years ago

Do TypeScript without TypeScript

Simone Sanfratello

Related articles

From learning to earning

Jobs that call for the skills explored in this talk.