A linguagem de programação para iOS é tipada?

Sim, é isso mesmo. Swift e Objective-C (as principais linguagens de desenvolvimento para iOS/macOS) são linguagens fortemente tipadas.

Em linguagens fortemente tipadas, os tipos das variáveis são conhecidos seja em tempo de compilação (tipagem estática, como em Swift), ou em tempo de execução (tipagem dinâmica, presente em Objective-C). Isto ajuda a detectar muitos erros relacionados com incompatibilidades de tipos antes de executar o programa.

Vantagens da tipagem:

• Segurança: Evita erros relacionados com tipos incompatíveis.
• Performance: O compilador pode otimizar o código conhecendo os tipos de dados.
• Legibilidade do código: A declaração explícita de tipos melhora a compreensão do código.
• Suporte de ferramentas: Os IDEs oferecem melhor autocompletar e refatoração.

Swift é uma linguagem de tipagem estática, o que significa que verifica os tipos na fase de compilação. Objective-C possui elementos de tipagem tanto estática como dinâmica (por exemplo, ligação tardia).

Exemplo de tipagem estática em Swift:

// swift
let number: Int = 10 // Declaração explícita do tipo Int
// let text: String = number // Erro de compilação: Não é possível atribuir um valor do tipo 'Int' a um 'String'

Exemplo de tipagem dinâmica (polimorfismo) em Objective-C:

// objective-c
id object = [[NSString alloc] initWithFormat:@"Hello"];
// object pode conter qualquer objeto. O tipo é verificado em tempo de execução ao enviar a mensagem.
NSString *stringObject = object; // Casting, mas o tipo base id é flexível