Get the latest tech news
Symbolic Execution by Overloading __bool__
A few months ago I saw a talk on buildit, https://buildit.so/ a really neat project that achieves staged metaprogramming as a C++ library. I love the central tenets of being in a mainstream language and not requiring a modified compiler. Right on, brother. One thing I came away with was a neat trick for getting non-overloadable syntax to be overloadable.
A few months ago I saw a talk on buildit, https://buildit.so/ a really neat project that achieves staged metaprogramming as a C++ library. It probably takes some kind of language level feature like quotation, overloading, or introspection to achieve this. Here is a simple example of an unstaged recursive power function operating on regular python ints.
Or read this on Hacker News