A preface to Advanced Typescript

1. TYPESCRIPT MAGIC 🪄

2. WHAT IS TYPESCRIPT?
• Javascript that scales
• Javascript with Types

3. • *Credits: Milosz Piechocki
course on Advanced
Typescript

4. STRICT TYPES

5. COMPILER FLAGS
• No Implicity Any
• strictNullChecks
• strictNullChecks
• strictFunctionTypes
• strictBindCallApply
• strictPropertyInitialization
• noImplicitThis

6. UNKNOWN TYPE

7. STRICT NULL CHECKS
• Thomas Hoare, a famous and influential computer scientist
• “innumerable errors, vulnerabilities, and system crashes, which
have probably caused a billion dollars of pain and damage in
the last forty years.”

8. STRICT NULL CHECKS

9. STRICT PROPERTY INITIALIZATION

10. OPTIONALITY?

11. GENERICS
• Why do we need generics?
• Just to Simplify

12. GENERIC FUNCTIONS

13. TYPE ARGUMENT CONSTRAINTS
• some restrictions on type argument

14. COMPOSING TYPES
• Union And Intersection

15. DISCRIMINTATED UNION TYPES
• Creating discriminated unions is an extremely powerful way of
composing types.
• Discriminated unions let you enforce some business logic
rules at compile-time.

16. STATE MACHINE

17. POLYMORPHISM VS DISCRIMINATED TYPE

18. MORE TYPES

19. INFER

20. TYPE GUARD

21. NOMINAL TYPING

22. GAURAV SEHRAWAT
• Github: igauravsehrawat
• Twitter: Root3d

23. THANK YOU