Evaluación del excelente rendimiento de comptime en Zig

Diferentes perspectivas sobre el comptime de Zig

• Metaprogramación en Zig: Zig ofrece la metaprogramación como una de sus funciones principales, lo que maximiza el potencial de programación al tratar el código como manipulación de datos. Es especialmente útil para mapear de forma precisa conceptos de alto nivel a operaciones de bajo nivel, sobre todo en programación cercana al hardware.

• Primeras experiencias con comptime: Al principio, usar comptime en Zig fue difícil, pero al cambiar de perspectiva, se volvió más fácil de entender. Para ayudar con eso, se presentan seis enfoques distintos para comprender comptime.

Vista 0: Puede ignorarse

• Enfoque en la lectura de código: El comptime de Zig da prioridad a la lectura del código, algo esencial para depurar y modificar. La metaprogramación a menudo puede convertirse en un “código de solo escritura”, pero en Zig es posible mezclar tiempos de compilación y ejecución de forma fácilmente legible.

Vista 1: Genéricos

• Programación genérica: En Zig, la programación genérica no se maneja como una funcionalidad separada, sino como parte de comptime. Para hacer que un tipo sea genérico, se usa una definición de función que recibe el tipo como argumento y lo devuelve.

Vista 2: Código estándar ejecutado en tiempo de compilación

• Ejecución en tiempo de compilación: Zig usa el mismo lenguaje tanto en runtime, comptime como en el sistema de build. Por ejemplo, puedes precomputar un problema de Fizz Buzz durante la compilación para mejorar el rendimiento de ejecución.

Vista 3: Evaluación parcial

• Evaluación parcial: Es una técnica para evaluar una parte de una función pasando solo algunos argumentos. El comptime de Zig realiza evaluación parcial durante la compilación.

Vista 4: Evaluación en compilación, generación de código en tiempo de ejecución

• Generación de código: El código evaluable en compilación se evalúa, y el código necesario en tiempo de ejecución se agrega al código de salida. El compilador de Zig implementa comptime mediante una máquina virtual.

Vista 5: Generación de código basada en texto

• Semejanza con la generación de código: El comptime de Zig funciona de manera similar a la generación de código, combinando la fuerza de la generación basada en texto con la simplicidad de comptime.

Conclusión

• Ventajas del comptime en Zig: El comptime de Zig es muy útil al combinar la potencia de la generación de código con la simplicidad de leer código. Varias metodologías de metaprogramación pueden convertirse a comptime.

Lecturas adicionales

• Puedes encontrar más información en el sitio web oficial de Zig y ver más ejemplos en la biblioteca estándar de Zig.

[GN⁺]

Opinión de Hacker News

• Es necesaria una discusión más profunda sobre las limitaciones de la programación en tiempo de compilación. La programación por etapas no es nueva, y hay varios problemas y compensaciones de diseño.

  • La implementación de genéricos rompe la parametricidad. La parametricidad es la capacidad de inferir sobre una función usando solo la firma de tipos de la misma.
  • No queda claro cómo Zig maneja los tipos genéricos recursivos. En general, los sistemas de tipos usan evaluación perezosa para permitir recursividad.
  • Es interesante cómo interactúan la verificación de tipos y el cálculo en tiempo de compilación, aunque no está claro qué decisión tomó Zig.
  • El código en tiempo de compilación sugiere potencial de generación de código, pero no se discute la higiene.

• D tiene esta capacidad desde hace 17 años, y estas características se han ido trasladando de forma constante a otros lenguajes.

  • D no usa una keyword y fuerza la ejecución en tiempo de compilación mediante "const expression".
  • Evitando variables globales no constantes, I/O y llamadas a funciones del sistema, muchas funciones pueden ejecutarse en tiempo de compilación.

• Zig es interesante, pero me parece una lástima que no tenga sobrecarga de operadores. No entiendo bien los argumentos en contra de la sobrecarga de operadores.

  • El argumento de que no podemos saber qué ocurre realmente con la sobrecarga de operadores no es convincente.

• Es interesante el patrón de poder construir struct en tiempo de compilación.

  • Hice un experimento para implementar una red neuronal, generando un archivo JSON y luego leyéndolo para crear una estructura.
  • En teoría, el compilador podría optimizar la red neuronal directamente.

• 'fieldNames' es similar a 'fieldPairs' de Nim, y es una estructura muy útil.

  • Rust carece de esta funcionalidad. Las macros de Rust están limitadas a macros no tipadas.

• Si te impresionó la capacidad de tiempo de compilación de Zig, vale la pena mirar Nim. Nim tiene evaluación de código en tiempo de compilación y un sistema completo de macros AST.

• Zig podría ser buena opción para desarrollar plugins de audio, pero le falta ecosistema de C++ (como JUCE y similares).

• Zig es un lenguaje muy bueno y es importante usarlo para el propósito adecuado.

• Ojalá hubiese algo que combine el metaprogramado de Zig con el amplio ecosistema, comunidad y seguridad de Rust.

  • Aunque prefiero el diseño de lenguaje de Zig, aún es difícil escribir algo útil y confiable.