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 · WWC 2023

4:18 min

Core design principles and features of TypeScript

Lars Hupel · WWC 2022

2:00 min

The origins and early problems solved by TypeScript

Dani Coll Dani Coll · WWC Europe 2026

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 · WWC 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
almost 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

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

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

Designing APIs That Survive AI Agents at Scale

Phani Pendurthi

Mastercard, Principal Software Engineer

Phani Pendurthi
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

Architecting AI in Angular: WebMCP, A2UI, and the Agent Experience

Ankita Sood

Sr. Principal Engineer @ Secureworks | Angular GDE

Ankita Sood
Open session

World Congress 2026 North America

Beyond Vibe Coding: An AI Builder’s Guide to Migrating 10k+ React Components

Shubham Chaurasia

Senior Software Engineer @ Meta

Shubham Chaurasia

Related videos

Don't compromise on speedy delivery nor type-safety by choosing TypeScript thumbnail
29:44
WWC 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
WWC 2023 • almost 3 years ago

Lies we Tell Ourselves As Developers

Stefan Baumgartner

TypeScript Features That Changed the Game thumbnail
14:03
WWC Europe 2026 • about 1 month ago

TypeScript Features That Changed the Game

Dani Coll

Do TypeScript without TypeScript thumbnail
43:27
JS Congress • over 4 years ago

Do TypeScript without TypeScript

Simone Sanfratello

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

Building software that scales with Typescript

Tal Joffe

Advanced Typing in TypeScript thumbnail
28:44
WWC 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.