La sécurité de type ou « typesafe » est une propriété d’un langage de programmation qui permet de vérifier que les opérations sur les données sont correctes.
Elle garantit que les données sont utilisées de manière appropriée. Par exemple, si vous avez une variable qui stocke un nombre entier, vous ne pourrez pas lui affecter une chaîne de caractères.
Elle est une caractéristique importante de nombreux langages de programmation, notamment TypeScript, Java, Python, C# et Go.
Syn. : sécurité de type