Télécharger en tant que PDF, PPTX
Téléchargé parhkairi
Type systems & javascript
Ce document discute des systèmes de types en JavaScript, soulignant la gestion des opérations de crédit et de débit sur un compte, tout en mettant en avant des concepts tels que l'event sourcing et la réversibilité des changements. Il aborde également l'importance des types statiques pour la documentation du code, la détection des erreurs et l'optimisation des performances. Enfin, il mentionne divers types métier et des alternatives aux outils comme Flow et TypeScript.
Type systems & javascript
- 1.
- 2.
- 3.
- 4.
- 5. - Un clientdoit pouvoir créditer son compte - Un client doit pouvoir débiter son compte - Le système doit enregistrer cette opération - Le système doit pouvoir annuler cette opération Scénario !5 *Event Sourcing*
- 6. Opération - avoir uneffet immédiat - doit être réversible !6 - s’applique sur un compte
- 7. Opération - avoir uneffet immédiat - doit être réversible !7 - s’applique sur un compte Fonction qui applique le changement Fonction qui annule le changement Valeur du changement
- 8. Opération - doFunc() - doitêtre réversible !8 - s’applique sur un compte Fonction qui applique le changement Fonction qui annule le changement Valeur du changement
- 9. Opération - doFunc() - undo() !9 -s’applique sur un compte Fonction qui applique le changement Fonction qui annule le changement Valeur du changement
- 10. Opération - doFunc() - undo() !10 -value Fonction qui applique le changement Fonction qui annule le changement Valeur du changement
- 11.
- 12.
- 13. !13 Créditer un compte *command
- 14.
- 15.
- 16.
- 17.
- 18.
- 19.
- 20.
- 21.
- 22.
- 23.
- 24.
- 25.
- 26.
- 27.
- 28.
- 29.
- 30.
- 31.
- 32.
- 33. Ok! But whystatic ? • Code documentation • Error detection • MonoMorphic Operations • Unit test reduction • Performance optimization ( AOT, JIT ) • Aiding immutability • Prevent security vulnerabilities • Everyone does it (Microsoft, Google, Facebook, etc)
- 34.
- 35. > npm install—save-dev flow-bin !35
- 36.
- 37.
- 38.
- 39.
- 40.
- 41.
- 42.
- 43.
- 44.
- 45.
- 46. • Primitive Types •Literal Types • Mixed Types • Any Types • Maybe Types • Variable Types • Function Types • Object Types • Array Types • Tuple Types • Class Types • Type Aliases • Opaque Type Aliases • Interface Types • Generic Types • Union Types • Intersection Types • Typeof Types • Type Casting Expressions • Utility Types • Module Types • Comment Types Flow @types !46
- 47. Flow -> votrearsenal
- 48.
- 49.
- 50.
- 51.