Je jazyk pro iOS typovaný?

Ano, je to správně. Swift a Objective-C (hlavní vývojové jazyky pro iOS/macOS) jsou silně typované jazyky.

Ve silně typovaných jazycích jsou typy proměnných známy buď při kompilaci (statické typování, jako ve Swiftu), nebo při běhu (dynamické typování, přítomné v Objective-C). To pomáhá odhalit mnoho chyb souvisejících s nesouladem typů před spuštěním programu.

Výhody typování:

• Bezpečnost: Zabraňuje chybám spojeným s neslučitelnými typy.
• Výkon: Kompilátor může optimalizovat kód s vědomím typů dat.
• Čitelnost kódu: Explicitní deklarace typů zlepšuje porozumění kódu.
• Podpora nástrojů: IDE poskytují lepší automatické doplňování a refaktoring.

Swift je staticky typovaný jazyk, což znamená, že kontrola typů probíhá při kompilaci. Objective-C má prvky jak statického, tak dynamického typování (například pozdní vázání).

Příklad statického typování ve Swiftu:

// swift
let number: Int = 10 // Explicitní deklarace typu Int
// let text: String = number // Chyba při kompilaci: Nelze přiřadit hodnotu typu 'Int' do typu 'String'

Příklad dynamického typování (polymorfismus) v Objective-C:

// objective-c
id object = [[NSString alloc] initWithFormat:@"Hello"];
// object může obsahovat jakýkoli objekt. Typ je kontrolován při běhu při odesílání zprávy.
NSString *stringObject = object; // Casting, ale základní typ id je flexibilní