¿El lenguaje de programación para iOS es tipado?

Sí, lo es. Swift y Objective-C (los principales lenguajes de desarrollo para iOS/macOS) son lenguajes fuertemente tipados.

En los lenguajes fuertemente tipados, los tipos de las variables son conocidos ya sea en tiempo de compilación (tipado estático, como en Swift), o en tiempo de ejecución (tipado dinámico, presente en Objective-C). Esto ayuda a detectar muchos errores relacionados con incompatibilidades de tipos antes de ejecutar el programa.

Ventajas del tipado:

• Seguridad: Previene errores relacionados con tipos incompatibles.
• Rendimiento: El compilador puede optimizar el código conociendo los tipos de datos.
• Legibilidad del código: La declaración explícita de tipos mejora la comprensión del código.
• Soporte de herramientas: Los IDE ofrecen mejor autocompletado y refactorización.

Swift es un lenguaje de tipado estático, lo que significa que verifica los tipos en tiempo de compilación. Objective-C tiene elementos tanto de tipado estático como dinámico (por ejemplo, enlace tardío).

Ejemplo de tipado estático en Swift:

// swift
let number: Int = 10 // Declaración explícita del tipo Int
// let text: String = number // Error de compilación: No se puede asignar un valor de tipo 'Int' a un 'String'

Ejemplo de tipado dinámico (polimorfismo) en Objective-C:

// objective-c
id object = [[NSString alloc] initWithFormat:@"Hello"];
// object puede contener cualquier objeto. El tipo se verifica en tiempo de ejecución al enviar el mensaje.
NSString *stringObject = object; // Casting, pero el tipo base id es flexible