Da li je programski jezik za iOS tipiziran?

Da, to je tačno. Swift i Objective-C (glavni jezici za razvoj za iOS/macOS) su jezici s jakim tipovima.

U jezicima s jakim tipovima, tipovi promenljivih su poznati ili tokom kompajliranja (statičko tipiranje, kao u Swift-u), ili tokom izvršavanja (dinamičko tipiranje, prisutno u Objective-C). Ovo pomaže u otkrivanju mnogih grešaka povezanih sa neskladom tipova pre pokretanja programa.

Prednosti tipizacije:

• Sigurnost: Sprečava greške povezane sa nespojivim tipovima.
• Performanse: Kompajler može optimizovati kod znajući tipove podataka.
• Čitljivost koda: Ekslicitne deklaracije tipova poboljšavaju razumevanje koda.
• Podrška alata: IDE-ovi pružaju bolju automatsku dopunu i refaktorisanje.

Swift je jezik sa statičkim tipovima, što znači da se provera tipova vrši tokom kompajliranja. Objective-C ima elemente i statičkog i dinamičkog tipa (npr. kasno povezivanje).

Primer statičkog tipa u Swift-u:

// swift
let number: Int = 10 // Ekslicitno navođenje tipa Int
// let text: String = number // Greška pri kompajliranju: Ne može dodeliti vrednost tipa 'Int' tipu 'String'

Primer dinamičkog tipa (polimorfizam) u Objective-C:

// objective-c
id object = [[NSString alloc] initWithFormat:@"Hello"];
// object može sadržati bilo koji objekat. Tip se proverava tokom izvršavanja pri slanju poruke.
NSString *stringObject = object; // Kastovanje, ali osnovni tip id je fleksibilan