Uma ótima avaliação do desempenho de `comptime` no Zig

Diferentes perspectivas sobre o comptime de Zig

• Metaprogramação do Zig: O Zig oferece metaprogramação como recurso principal, o que potencializa o poder da programação por meio da forma como o código lida com dados. Especialmente, isso é vantajoso para mapear conceitos de alto nível para operações de baixo nível em programação próxima ao hardware.

• Primeira experiência com comptime: Usar o comptime do Zig pela primeira vez era difícil, mas ficou mais fácil quando mudei de perspectiva. Para ajudar nisso, foram apresentadas seis perspectivas diferentes para compreender o comptime.

Visão 0: Pode ser ignorada

• Leitura de código em primeiro lugar: O comptime do Zig prioriza a legibilidade, algo indispensável para depuração e manutenção do código. A metaprogramação pode se tornar um tipo de "código somente para escrita", mas no Zig ela combina tempo de compilação e tempo de execução para ficar fácil de ler.

Visão 1: Genéricos

• Programação genérica: No Zig, genéricos não são tratados como uma funcionalidade separada, mas como parte do comptime. Em vez disso, o tipo é passado como argumento de uma função e retornado para transformar o tipo em genérico.

Visão 2: Código padrão executado em tempo de compilação

• Execução em tempo de compilação: O Zig usa a mesma linguagem para runtime, comptime e build system. Por exemplo, é possível pré-calcular o problema Fizz Buzz em tempo de compilação para aumentar a velocidade de execução.

Visão 3: Avaliação parcial

• Avaliação parcial: Técnica de pré-avaliar parte de uma função passando apenas alguns argumentos. O comptime do Zig faz avaliação parcial durante a compilação.

Visão 4: Avaliação em tempo de compilação, geração de código em runtime

• Geração de código: O código que pode ser avaliado em tempo de compilação é avaliado, e o código necessário em tempo de execução é adicionado ao código de saída. O compilador do Zig implementa comptime por meio de uma máquina virtual.

Visão 5: Geração de código baseada em texto

• Semelhança com geração de código: O comptime do Zig funciona de maneira semelhante à geração de código e combina o poder da geração baseada em texto com a simplicidade do comptime.

Conclusão

• Ponto forte do comptime no Zig: O comptime do Zig combina o poder da geração de código com a simplicidade da legibilidade do código, tornando-o extremamente útil. Diversos paradigmas de metaprogramação podem ser transformados em comptime.

Leitura adicional

• O site oficial do Zig possui mais informações, e é possível conferir mais exemplos na biblioteca padrão do Zig.

[GN⁺]

Comentários do Hacker News

• É necessária uma discussão mais aprofundada sobre os problemas da programação em tempo de compilação. A programação em estágios não é algo novo e há vários problemas e compromissos de projeto.

  • A implementação de genéricos quebra a parametricidade. Parametricidade significa a capacidade de inferir sobre uma função apenas por sua assinatura de tipo.
  • Não está claro como o Zig lida com tipos genéricos recursivos. Em geral, os sistemas de tipos usam avaliação preguiçosa para permitir recursão.
  • A interação entre a checagem de tipos e o cálculo em tempo de compilação é interessante. Não está claro qual escolha o Zig fez.
  • O código em tempo de compilação indica possibilidade de geração de código, mas não há discussão sobre higienização.

• O D possui essa capacidade desde 17 anos atrás, e recursos assim têm migrado continuamente para outras linguagens.

  • O D não usa uma palavra-chave e usa const expression para induzir execução em tempo de compilação.
  • Ao evitar variáveis globais não constantes, chamadas de I/O e funções do sistema, muitas funções podem ser executadas em tempo de compilação.

• O Zig é interessante, mas sinto falta de não ter sobrecarga de operadores. Não entendo muito bem o argumento contrário à sobrecarga de operadores.

  • O argumento de que não dá para saber o que realmente acontece com a sobrecarga de operadores não é convincente.

• É interessante o padrão de gerar structs em tempo de compilação.

  • Fizemos um experimento ao implementar uma rede neural, gerando um arquivo JSON e criando structs a partir da leitura desse arquivo.
  • Em teoria, o compilador poderia otimizar diretamente a rede neural.

• fieldNames é parecido com fieldPairs do Nim e é uma estrutura muito útil.

  • Falta isso em Rust. As macros de Rust são limitadas a macros não tipadas.

• Se você ficou impressionado com os recursos de tempo de compilação do Zig, vale a pena olhar para o Nim também. O Nim possui avaliação de código em tempo de compilação e um sistema completo de macros de AST.

• O Zig pode ser ideal para desenvolvimento de plugins de áudio, mas falta o ecossistema de C++ (JUCE etc.).

• O Zig é uma linguagem muito boa e importa que ela seja usada para o propósito certo.

• Gostaria que existisse algo que combinasse a metaprogramação do Zig com o enorme ecossistema, comunidade e segurança do Rust.

  • Embora eu prefira o design de linguagem do Zig, ainda é difícil escrever algo útil ou confiável com ele ainda.