iOS үчүн программалоо тили типтелгенби?

Ооба, туура. Swift жана Objective-C (iOS/macOS үчүн негизги өнүктүрүү тилдери) күчтүү түрдө белгиленген тилдер.

Күчтүү белгиленген тилдерде, өзгөрмөлөрдүн түрлөрү же түзмө-түз компиляция учурунда (статикалык түрдө белгилөө, Swiftте), же иштетүү учурунда (динамикалык белгилөө, Objective-Cде) белгилүү болот. Бул программаны ишке киргизүүдөн мурун көптөгөн түрлөрдүн туура эместигин аныктоого жардам берет.

Түрлөрдүн артыкчылыктары:

• Коопсуздук: туура эмес түрлөр менен байланышкан каталарды алдын алат.
• Өндүрүмдүүлүк: Компилятор маалымат түрлөрүн билсе, кодду оптималдаштыра алат.
• Кодду түшүнүү: Ачык түрлөрдүн көрсөтмөсү кодду түшүнүүнү жакшыртат.
• Куралдар колдоосу: IDEлер жакшы автоматтык толтуруу жана рефакторинг сунуштайт.

Swift — статикалык белгиленген тил, бул түрлөрдүн текшерилиши компиляция учурунда болот дегенди билдирет. Objective-Cде статикалык жана динамикалык белгилөө элементтери бар (мисалы, кечигип байлоо).

Swiftте статикалык белгилөөнүн мисалы:

// swift
let number: Int = 10 // Ачык көрсөтүлгөн Int түрү
// let text: String = number // Компиляция катасы: 'Int' түрүндөгү маанини 'String' түрүнө берүү мүмкүн эмес

Objective-Cде динамикалык белгилөө (полиморфизм) мисалы:

// objective-c
id object = [[NSString alloc] initWithFormat:@"Hello"];
// object ар кандай объектти камтышы мүмкүн. Тиркемеде билдирүү жөнөтүлгөндө түрү текшерилет.
NSString *stringObject = object; // Casting, бирок негизги түрү id, ал ийкемдүү