ԻոՍ-ի ծրագրավորման լեզուն տիպավորված է՞

Այո, դա ճիշտ է: Swift և Objective-C (հիմնական ծրագրավորման լեզուները iOS / macOS համար) ուժեղ տիպավորված լեզուներ են:

Ուժեղ տիպավորված լեզուներում փոփոխականների տիպերը կամ հայտնի են կոմպիլյացիայի ժամանակ (ստատիկ տիպավորում, ինչպես Swift-ում), կամ գործարկման ժամանակ (դինամիկ տիպավորում, առկա է Objective-C-ում): Սա օգնում է հայտնաբերել շատ սխալներ, որոնք կապված են տիպերի անհամապատասխանության հետ, նախքան ծրագրի գործարկումը:

Տիպավորման առավելությունները:

• Անվտանգություն: կանխում է անհամատեղելի տիպերի հետ կապված սխալները:
• Արդյունավետություն: Կոմպիլյատորը կարող է օպտիմալացնել կոդը տվյալների տիպերը իմանալով:
• Կոդի ընթեռնելիություն: Բացահայտ տիպերի հստակ նշումները բարելավում են կոդի ըմբռնումը:
• Գործիքների աջակցություն: IDE-ները առաջարկում են ավելի լավ ավտոմատ լրացում և ռեֆակտորինգ:

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 է, որը ճկուն է