Hacker News Reader

I think the first take on the subject was IBM with their PL/I Checkout and Optimizing compilers. They've integrated almost full PL/I language interpreter in the macro pre-processor stage. I was using it in the beginning of 80ies.

With the small difference that Circle can use the complete language at compile time, constexpr is still far from it, and also gave birth to constinit and consteval.

Jai gets to use the entire language.

constexpr in C++ 11 is indeed very limited, arguably even more than Rust's const functions today.

Except that almost no one has access to Jai.

Sure, I'm not commending Jai in general, but it's a clear existence proof on this particular matter.

Well, Lisp and Dylan also did it first.

D has had compile time function execution since 2007 or so.