Je jazyk pre iOS typovaný?

Áno, je to správne. Swift a Objective-C (hlavné jazyky pre vývoj pre iOS/macOS) sú jazyky s pevne stanoveným typom.

V jazykoch s pevne stanoveným typom sú typy premenných známe buď počas kompilácie (statické typovanie, ako vo Swift), alebo počas behu (dynamické typovanie, prítomné v Objective-C). To pomáha odhaliť mnoho chýb súvisiacich s nezhodami typov pred spustením programu.

Výhody typovania:

• Bezpečnosť: Zabraňuje chybám súvisiacim s nekompatibilnými typmi.
• Výkon: Kompilátor môže optimalizovať kód s vedomím o typoch dát.
• Čitateľnosť kódu: Explicitné deklarácie typov zlepšujú porozumenie kódu.
• Podpora nástrojov: IDE ponúkajú lepšie automatické dopĺňanie a refaktoring.

Swift je jazyk so statickým typovaním, čo znamená, že kontrola typov prebieha počas kompilácie. Objective-C má prvky ako statické, tak aj dynamické typovanie (napríklad neskoré viazanie).

Príklad statického typovania vo Swift:

// swift
let number: Int = 10 // Jasne uvedený typ Int
// let text: String = number // Chyba pri kompilácii: Nie je možné priradiť hodnotu typu 'Int' do typu 'String'

Príklad dynamického typovania (polymorfizmus) v Objective-C:

// objective-c
id object = [[NSString alloc] initWithFormat:@"Hello"];
// object môže obsahovať akýkoľvek objekt. Typ sa kontroluje počas behu pri odosielaní správy.
NSString *stringObject = object; // Casting, ale základný typ id je flexibilný