V čem se liší sémantiky v programování?

Semantika v programování definuje smysl a význam konstrukcí jazyka. Rozdíly se projevují v tom, jak jazyk interpretuje a vykonává kód.

Hlavní typy semantiky:

• Statická semantika: Kontroluje správnost programu před jeho spuštěním, například datové typy a lexikální rozsah. Chyby statické semantiky jsou odhaleny ve fázi kompilace.
• Dynamická semantika: Určuje, jak se program chová během běhu, včetně sekvence operací, správy paměti a zpracování chyb.
  • Operační semantika: Popisuje provádění programu prostřednictvím sekvence kroků abstraktního stroje nebo přechodu z jednoho stavu do druhého.
  • Denotační semantika: Spojuje konstrukce programu s matematickými objekty (například funkcemi) a poskytuje abstraktní definici významu, která nezávisí na provádění.
  • Axiomatická semantika: Definuje vlastnosti programu prostřednictvím systému logických axiomů a pravidel odvození, často používaná k důkazu správnosti programů (například s před- a postpodmínkami).

Příklady rozdílů v vývoji iOS:

• ARC (Automatické počítání referencí): Dynamická semantika správy paměti ve Swift/Objective-C. Určuje, kdy jsou objekty uvolněny na základě odkazů.
• Protokoly a rozšíření ve Swift: Ovlivňují statickou semantiku, umožňují přidávat funkčnost existujícím typům nebo definovat kontrakty chování.
• Zpracování chyb (do-catch ve Swift): Dynamická semantika, která určuje, jak program reaguje na chyby během běhu.