Más allá de Zig y Rust: Un enfoque más amigable para la metaprogramación

Este artículo explora un nuevo diseño de lenguaje de programación que combina las fortalezas del sistema de tipos Hindley-Milner de Rust y las capacidades de tiempo de compilación de Zig, evitando al mismo tiempo las complejidades del enfoque de 'tipos como valores' de Zig. Al introducir el operador `@` para la ejecución en tiempo de compilación, el tipo `Abstract` para abstracciones en tiempo de compilación, los tipos `TypeInfo` y `Field` para la introspección de tipos y las funciones `Code` y `parse` para la manipulación de código, este diseño logra potentes capacidades de metaprogramación, como la generación automática de código y la implementación de tipos de utilidad similares a TypeScript, como `Partial`, manteniendo la legibilidad del código y la facilidad de razonamiento. Esto representa un nuevo enfoque para lograr una metaprogramación potente mientras se preserva la facilidad de uso del sistema de tipos, ofreciendo nuevas perspectivas para el diseño de lenguajes futuros.