Kas iOS-i jaoks programmeerimiskeel on tüübitud?

Jah, see on õige. Swift ja Objective-C (peamised arenduskieeled iOS / macOS jaoks) on tugevasti tüübitud keeled.

Tugevalt tüübitud keeltes on muutujate tüübid teada kas kompileerimise ajal (staatiline tüübitus, nagu Swiftis), või täitmise ajal (dünaamiline tüübitus, mis on Objective-C-s). See aitab avastada paljusid vigu, mis on seotud tüübi sobimatusega, enne programmi käivitamist.

Tüübitamise eelised:

• Turvalisus: Väldib sobimatute tüüpide vigu.
• Jõudlus: Kompilaator saab optimeerida koodi, teades andmetüüpide kohta.
• Koodi loetavus: Selged tüübi deklaratsioonid parandavad koodi mõistmist.
• Tööriistade tugi: IDE-d pakuvad paremat automaatset täitmist ja refaktoriseerimist.

Swift on statiliselt tüübitud keel, mis tähendab, et tüübi kontroll toimub kompileerimise ajal. Objective-C-l on nii staatilisi kui ka dünaamilisi tüüpelemente (näiteks hilinenud sidumine).

Näide statilisest tüübitusest Swiftis:

// swift
let number: Int = 10 // Selge Int tüübi määramine
// let text: String = number // Kompileerimisviga: Ei saa omistada 'Int' tüüpi väärtust 'String'-ile

Näide dünaamilisest tüübitusest (polümorfism) Objective-C-s:

// objective-c
id object = [[NSString alloc] initWithFormat:@"Hello"];
// object võib sisaldada mis tahes objekti. Tüüp kontrollitakse täitmise ajal, kui sõnum saadetakse.
NSString *stringObject = object; // Casting, kuid põhityüpiks on id, mis on paindlik