This feels like a very nice design to me, that would avoid many problems of Rust macros, especially around IDE support and performance of incremental compilation, while at the same time making them vastly more powerful, approaching Zig comptime, without loosing declaration-side type checking.
This feels like a very nice design to me, that would avoid many problems of Rust macros, especially around IDE support and performance of incremental compilation, while at the same time making them vastly more powerful, approaching Zig comptime, without loosing declaration-side type checking.
Neat!