Prouvez votre code "sans bug" avec Typescript

"Prouvez du code", ça vous paraît tordu ? Et pourtant, c'est une technique extrêmement efficace pour bâtir des applications robustes. Dans cette présentation, nous verrons comment utiliser des concepts très simples de typage pour apporter des garanties solides dans le code que vous écrivez en Typescript.