Typelevel Programming Fun in TypeScript

Video: https://www.youtube.com/watch?v=p0kb6E07WCM

Meetup: https://www.meetup.com/it-IT/MilanoTS/events/250905299/

Transcript

1. Type-Level Type-Level programming ƒun programming ƒun
2. Ego Slide Ego Slide @mattiamanzati
3. Type-Level Programming significa codificare logiche nel type-system che verranno valutate a compile-time
4. JavaScript Programming Browser/NodeJS TypeLevel Programming TSC/LanguageServer/VSCode
5. Il TypeLevel programming Il TypeLevel programming non produce codice non produce codice JavaScript JavaScript
6. Il TypeLevel programming Il TypeLevel programming non produce codice non produce codice JavaScript JavaScript può invece effettuare può invece effettuare ulteriori check ulteriori check a compile-time a compile-time
7. Perchè farlo? Perchè farlo? TypeSystem più cosciente delle nostre logiche significa più errori a compile time, meno a runtime
8. Perchè farlo? Perchè farlo? TypeSystem più cosciente delle nostre logiche significa più errori a compile time, meno a runtime e quindi meno issue da risolvere il giorno del deploy
10. ...TypeScript? ...TypeScript? Alle basi del TypeLevel Programming:
11. interface MyInterface { a: boolean b: number c: "LOL" [K: string]: any // <== // Gli altri devono esservi assignabili } type A = MyInterface["a"] // => boolean type C = MyInterface["c"] // => "LOL" type Pippo = MyInterface["pippo"] // => any
12. Demo-Time! Demo-Time!
13. WARNING! WARNING! Highly Experimental Code! Highly Experimental Code!
14. WARNING! WARNING! Highly Experimental Code! Highly Experimental Code! "Qualche feature potrebbe cam biare!"
15. WARNING! WARNING! Highly Experimental Code! Highly Experimental Code! "Qualche feature potrebbe cam biare!" Abbassa le aspettative...
16. WARNING! WARNING! Highly Experimental Code! Highly Experimental Code! "Qualche feature potrebbe cam biare!" Abbassa le aspettative... Ancora un pochino...
17. WARNING! WARNING! Highly Experimental Code! Highly Experimental Code! "Qualche feature potrebbe cam biare!" Abbassa le aspettative... Ancora un pochino... Che basti? Meglio abbondare!
18. TypeLevel Boolean TypeLevel Boolean Alle basi del TypeLevel Programming:
19. TypeLevel Condition TypeLevel Condition Alle basi del TypeLevel Programming:
20. TypeLevel Nat TypeLevel Nat Spingiamoci oltre:
21. TypeLevel Nat TypeLevel Nat Rappresenta l'insieme degli interi E' possibile effettuare operazioni numeriche
23. 0 1
24. 0 1 2
25. 0 1 2 N
26. 0 1 2 N
27. type Zero = { isZero: True }
28. type Zero = { isZero: True } type One = { isZero: False, prev: Zero }
29. type Zero = { isZero: True } type One = { isZero: False, prev: Zero } type Two = { isZero: False, prev: One }
30. type Zero = { isZero: True } type One = { isZero: False, prev: Zero } type Two = { isZero: False, prev: One } type Succ<N extends Nat> = { isZero: False, prev: N } type One = Succ<Zero> type Two = Succ<One> type Three = Succ<Succ<Succ<Zero>>>
31. Heterogenous List Heterogenous List Esageriamo:
32. Heterogenous List Heterogenous List Lista ordinata di elementi Gli elementi non hanno vincoli di tipo
33. "uno"
34. "uno" "due"
35. "uno" "due" true
36. <empty> "uno" "due" true
37. type HListEmpty = { isEmpty: True item: never nextList: never }
38. type HListEmpty = { isEmpty: True item: never nextList: never } type HListFirstItem = { isEmpty: False, item: I nextList: HListEmpty }
39. type HListEmpty = { isEmpty: True item: never nextList: never } type HListFirstItem = { isEmpty: False, item: I nextList: HListEmpty } type HListItem<I, L extends HList> = { isEmpty: False, item: I nextList: L }
40. Strongly Strongly TypeChecked Router TypeChecked Router Ma in un caso pratico?
42. Grazie per Grazie per l'attenzione! l'attenzione! Gist: https://gist.github.com/mattiamanzati/e66 c728fd25e3ee776fae7cc091a7c50