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.