Le langage de programmation pour iOS est-il typé?

Oui, c'est le cas. Swift et Objective-C (les principaux langages de développement pour iOS/macOS) sont des langages fortement typés.

Dans les langages fortement typés, les types des variables sont connus soit à la compilation (typage statique, comme en Swift), soit à l'exécution (typage dynamique, présent dans Objective-C). Cela aide à détecter de nombreuses erreurs liées à des incompatibilités de types avant l'exécution du programme.

Avantages du typage :

• Sécurité : Évite les erreurs liées à des types incompatibles.
• Performance : Le compilateur peut optimiser le code en connaissant les types de données.
• Lisibilité du code : La déclaration explicite des types améliore la compréhension.
• Support des outils : Les IDE offrent une meilleure autocomplétion et refactorisation.

Swift est un langage à typage statique, ce qui signifie que la vérification des types se fait lors de la compilation. Objective-C possède des éléments à la fois de typage statique et dynamique (par exemple, liaison tardive).

Exemple de typage statique en Swift :

// swift
let number: Int = 10 // Déclaration explicite du type Int
// let text: String = number // Erreur de compilation : Impossible d'assigner une valeur de type 'Int' à un 'String'

Exemple de typage dynamique (polymorphisme) en Objective-C :

// objective-c
id object = [[NSString alloc] initWithFormat:@"Hello"];
// object peut contenir n'importe quel objet. Le type est vérifié à l'exécution lors de l'envoi du message.
NSString *stringObject = object; // Casting, mais le type de base id est flexible