¿En qué se diferencian las semánticas en programación?

La semántica en programación define el significado y la interpretación de las construcciones del lenguaje. Las diferencias se manifiestan en cómo el lenguaje interpreta y ejecuta el código.

Tipos principales de semántica:

• Semántica estática: Verifica la corrección del programa antes de su ejecución, por ejemplo, tipos de datos y ámbito léxico. Los errores de semántica estática se detectan en la fase de compilación.
• Semántica dinámica: Define cómo se comporta el programa durante la ejecución, incluyendo la secuencia de operaciones, gestión de memoria y manejo de errores.
  • Semántica operacional: Describe la ejecución del programa a través de una secuencia de pasos de una máquina abstracta o transición de un estado a otro.
  • Semántica denotacional: Vincula las construcciones del programa con objetos matemáticos (por ejemplo, funciones), proporcionando una definición abstracta del significado que no depende de la ejecución.
  • Semántica axiomática: Define las propiedades del programa mediante un sistema de axiomas lógicos y reglas de inferencia, a menudo utilizada para demostrar la corrección del programa (por ejemplo, mediante precondiciones y postcondiciones).

Ejemplos de diferencias en desarrollo iOS:

• ARC (Contado Automático de Referencias): Semántica dinámica de gestión de memoria en Swift/Objective-C. Define cuándo se liberan los objetos basándose en referencias.
• Protocolos y extensiones en Swift: Afectan a la semántica estática, permitiendo agregar funcionalidad a tipos existentes o definir contratos de comportamiento.
• Manejo de errores (do-catch en Swift): Semántica dinámica que determina cómo reacciona el programa ante errores durante la ejecución.