Estou interessado em saber como funciona a digitação dinâmica no Objective-C. Estou estudando o tipo "id", sei o que faz e como usá-lo, mas estou curioso ... Como essa funcionalidade é implementada sob o capô?

Você não pode determinar / resolver nada durante o tempo de compilação, apenas durante o tempo de execução. Eu acho que ele pode simplesmente apontar para o primeiro byte de algum objeto na memória, mas como a assinatura da classe é armazenada? Como ele sabe para o que está apontando atualmente e como implementa vários getters para a classe do objeto apontado?