[symstym]

This seems similar to Zig (https://ziglang.org/#Compile-time-reflection-and-compile-tim...)

[pickdenis]

Zig seems to have arbitrary compile-time code evaluation, but not the kind of AST generation you see here[1]. Nim macros seem to be a closer analogue[2].

[1]: https://github.com/seanbaxter/circle/blob/master/gems/rpn.md...

[2]: https://nim-lang.org/docs/macros.html

[logicchains]

There's ongoing work to add support for generating arbitary types at compile time: https://github.com/ziglang/zig/issues/383.