Just an FYI, in 2008 PLT Scheme had a language with static typing and macros capable of comptime-like behavior, called Typed Scheme. It lives on today in Racket.
But yeah, dynamically typed languages have been doing this for decades, particularly prevalent in Perl circles.
But yeah, dynamically typed languages have been doing this for decades, particularly prevalent in Perl circles.