Qual é a diferença entre semânticas na programação?

A semântica na programação define o significado e o valor das construções da linguagem. As diferenças manifestam-se na forma como a linguagem interpreta e executa o código.

Principais tipos de semântica:

• Semântica estática: Verifica a correção do programa antes da sua execução, por exemplo, tipos de dados e âmbito léxico. Os erros de semântica estática são detectados na fase de compilação.
• Semântica dinâmica: Define como o programa se comporta durante a execução, incluindo a sequência de operações, gestão de memória e tratamento de erros.
  • Semântica operacional: Descreve a execução do programa através de uma sequência de passos de uma máquina abstrata ou transição de um estado para outro.
  • Semântica denotacional: Liga as construções do programa a objetos matemáticos (por exemplo, funções), fornecendo uma definição abstrata do significado que não depende da execução.
  • Semântica axiomática: Define as propriedades do programa através de um sistema de axiomas lógicos e regras de inferência, frequentemente usada para provar a correção do programa (por exemplo, através de pré-condições e pós-condições).

Exemplos de diferenças no desenvolvimento iOS:

• ARC (Contagem Automática de Referências): Semântica dinâmica de gestão de memória em Swift/Objective-C. Define quando os objetos são libertados com base nas referências.
• Protocolos e extensões em Swift: Afetam a semântica estática, permitindo adicionar funcionalidades aos tipos existentes ou definir contratos de comportamento.
• Tratamento de erros (do-catch em Swift): Semântica dinâmica que determina como o programa reage a erros durante a execução.