TypeScript adds a powerful type system to JavaScript, covering basic types, complex objects and unions, generics for abstraction, and literal types for precision.
TypeScript's type system operates in a separate 'type land' and supports programming constructs like functions via generics and conditional logic via conditional types.
Explore advanced type-level programming by implementing loops using recursion and mapped types, leveraging TypeScript's Turing-complete type system.
Solve the mismatch between runtime validation and static types by inferring types directly from a validator schema using the 'parse, don't validate' pattern.
Create a fully type-safe API by inferring the client from the server's implementation, eliminating type mismatches between the frontend and backend.
Common questions are answered regarding the use of enums versus union types, `type` versus `interface`, file organization, and legacy features like namespaces.
Guarantee that permission checks are performed by encoding the checked permissions into an object's type, which is then verified by the compiler in downstream services.
TypeScript enables rapid, type-safe development but has limitations such as complex syntax, recursion depth limits, and the need for 'escape hatches'.
31:13Stefan Baumgartner
28:44Lars Hupel
29:30Peter Kröner
32:28Phil Nash
37:18Tal Joffe
43:27Simone Sanfratello
48:56Tal Joffe
28:20Ivan Hofer
.webp?w=240&auto=compress,format)
Jobs that call for the skills explored in this talk.
doinstruct Software GmbH
Berlin, Germany
Schulz.codes GmbH
Darmstadt, Germany
autoiXpert GmbH & Co. KG
Stuttgart, Germany
GEBIT Solutions GmbH