I've added eval to my language in the last week. Trying to get my head around supercompilation so I can precompute terms that are evaled and then have typesafe

string.format

Does any language make use of this eval at compiletime to reduce untypable functions, like eval. https://vimeo.com/842275363?share=copy