Čime se razlikuju semantike u programiranju?

Semantika u programiranju definiše smisao i značenje konstrukcija jezika. Razlike se manifestuju u načinu na koji jezik interpretira i izvršava kod.

Glavne vrste semantike:

• Statistička semantika: Proverava ispravnost programa pre njegovog izvršenja, na primer, tipove podataka i leksički opseg. Greške statičke semantike se otkrivaju u fazi kompilacije.
• Dinamička semantika: Određuje kako se program ponaša tokom izvršenja, uključujući redosled operacija, upravljanje memorijom i obradu grešaka.
  • Operaciona semantika: Opisuje izvršenje programa kroz niz koraka apstraktne mašine ili prelaz iz jednog stanja u drugo.
  • Denotaciona semantika: Povezuje konstrukcije programa sa matematičkim objektima (npr. funkcijama), pružajući apstraktnu definiciju značenja koja nije zavisna od izvršenja.
  • Aksiomatska semantika: Definiše osobine programa kroz sistem logičkih aksioma i pravila zaključivanja, često korišćena za dokazivanje ispravnosti programa (npr. pomoću preduslova i postuslova).

Primeri razlika u razvoju iOS:

• ARC (Automatsko brojanje referenci): Dinamička semantika upravljanja memorijom u Swift/Objective-C. Određuje kada objekti bivaju oslobođeni na osnovu referenci.
• Protokoli i proširenja u Swift-u: Uticaju na statičku semantiku, omogućavaju dodavanje funkcionalnosti postojećim tipovima ili definisanje ugovora o ponašanju.
• Obrada grešaka (do-catch u Swift-u): Dinamička semantika koja određuje kako program reaguje na greške tokom izvršenja.