Aký je rozdiel medzi sémantikami v programovaní?

Semantika v programovaní definuje zmysel a význam konštrukcií jazyka. Rozdiely sa prejavujú v tom, ako jazyk interpretuje a vykonáva kód.

Hlavné typy semantiky:

• Statická semantika: Kontroluje správnosť programu pred jeho spustením, napríklad typy údajov a lexikálny rozsah. Chyby statickej semantiky sú odhalené v fáze kompilácie.
• Dynamická semantika: Určuje, ako sa správa program počas behu, vrátane poradia operácií, správy pamäti a spracovania chýb.
  • Operačná semantika: Popisuje vykonanie programu prostredníctvom sekvencie krokov abstraktnej stroja alebo prechodu z jedného stavu do druhého.
  • Denotačná semantika: Spája konštrukcie programu s matematickými objektmi (napríklad funkciami) a poskytuje abstraktné definovanie významu, ktoré nezávisí od vykonania.
  • Axiomatická semantika: Definuje vlastnosti programu prostredníctvom systému logických axióm a pravidiel odvodzovania, často používaná na dôkaz správnosti programov (napríklad s pred- a postpodmienkami).

Príklady rozdielov v vývoji iOS:

• ARC (Automatické počítanie referencií): Dynamická semantika správy pamäti v Swift/Objective-C. Určuje, kedy sú objekty uvoľnené na základe referencií.
• Protokoly a rozšírenia v Swift: Ovplyvňujú statickú semantiku, umožňujú pridávať funkcie existujúcim typom alebo definovať kontrakty správania.
• Spracovanie chýb (do-catch v Swift): Dynamická semantika, ktorá určuje, ako program reaguje na chyby počas behu.