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

2:28 min

Exploring the benefits of type safety and TypeScript migration

Chris Heilmann +2 · LIVE

1:20 min

Core takeaways for end-to-end TypeScript development

Marco Podien Marco Podien · World Congress 2025

2:51 min

Deciding when to adopt or avoid TypeScript

Rob Richardson · LIVE

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
about 4 years ago

The Design and Evolution of C++

Bjarne Stroustrup

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

But, you're not Facebook

Kristijan Ristovski

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

Communicate efficiently with Software Architecture Diagrams

Simon Lasselsberger

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

Get Ready for Jakarta EE 10!

Ivar Grimstad

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

Keep your code refactorable

Gerrit Stapper

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 · 12:55–13:25

Stage 7

The spectrum of agentic coding: From vibe coding to high-quality software engineering

YK Sugi

Developer Experience Manager at Eventual

YK Sugi
Open session

World Congress 2026 North America

September 25, 2026 · 12:20–12:50

Stage 9

Designing APIs That Survive AI Agents at Scale

Phani Pendurthi

Mastercard, Principal Software Engineer

Phani Pendurthi
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 24, 2026 · 10:20–10:50

Stage 1

The Browser Is Becoming an AI Runtime

Ajit Varma, Will Bryk

Ajit Varma
Will Bryk
Open session

World Congress 2026 North America

September 24, 2026 · 12:50–13:20

Stage 7

Architecting Agentic Apps: WebMCP, A2UI, and Agent Experience

Ankita Sood

Sr. Principal Engineer @ Secureworks | Angular GDE

Ankita Sood

Related videos

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

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

Jens Claes

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 • 2 months ago

TypeScript Features That Changed the Game

Dani Coll

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

Do TypeScript without TypeScript

Simone Sanfratello

Building software that scales with Typescript thumbnail
37:18
World Congress 2022 • about 4 years ago

Building software that scales with Typescript

Tal Joffe

Advanced Typing in TypeScript thumbnail
28:44
World Congress 2022 • about 4 years ago

Advanced Typing in TypeScript

Lars Hupel

Related articles

From learning to earning

Jobs that call for the skills explored in this talk.