Terra has had this for a long time. Anything you wrote in Terra could be invoked at compile time just the same using LLVM's JIT stuff. Made writing game tooling a breeze.
I considered writing about Terra as ab examples of a similar language but I felt the fact that Terra did this at JIT time made it too different to compare. In that regard it is not all that different from Julia. That Zig does this AOT is significant I think.
I'm not sure what you mean. Terra does JIT to do AOT compilation. You run either Lua _or_ native code (JITed) at compilation time to produce Terra code that ultimately gets emitted into the final executable.
So you can create a distributable executable without any of the Lua code? Or will the exe contain a Lua interpreter?
Terra is such a an overly recycled term. It was not obvious if this was some kind programming language associated with the Terra block chain and Terraform Labs, which is also overloaded with Terraform, the infrastructure-as-code tool by Hashicorp.
I'm not sure what your point is. Terra is a programming language. In the context of programming languages, I would assume finding the correct Terra would be trivial.