Chapitre 3. Inférence de type
Cet ouvrage a été traduit à l'aide de l'IA. Tes réactions et tes commentaires sont les bienvenus : translation-feedback@oreilly.com
Pour les langages de programmation utilisés dans l'industrie, "statiquement typé" et "explicitement typé" ont traditionnellement été synonymes. C, C++, Java : ils t'obligeaient tous à écrire tes types. Mais les langages académiques n'ont jamais confondu ces deux choses : des langages comme ML et Haskell ont depuis longtemps des systèmes d'inférence de type sophistiqués, et au cours de la dernière décennie, cela a commencé à faire son chemin dans les langages industriels. C++ a ajouté auto, et Java a ajouté var.
TypeScript fait un usage intensif de l'inférence de type. Bien utilisé, cela peut réduire considérablement le nombre d'annotations de type dont ton code a besoin pour obtenir une sécurité de type complète. L'une des façons les plus simples de distinguer un débutant TypeScript d'un utilisateur plus expérimenté est le nombre d'annotations de type. Un développeur TypeScript expérimenté utilisera relativement peu d'annotations (mais les utilisera à bon escient), tandis qu'un débutant peut noyer son code dans des annotations de type redondantes.
Ce chapitre te montre certains des problèmes qui peuvent survenir avec l'inférence de type et comment les résoudre. Après l'avoir lu, tu devrais avoir une bonne compréhension de la façon dont TypeScript infère les types, des cas où il est encore nécessaire d'écrire des déclarations ...