Revisiting Stateful Metaprogramming in C++20

Showing once again that the best languages are built on math (or theoretical computer science). It’s very interesting how far behind practical programming is, things will probably change a lot in another 50 years.