What does dynamic typing have to do with the language used for CTFE? (Have I misunderstood you?) D has fairly permissive CTFE which uses the language itself; i

What does dynamic typing have to do with the language used for CTFE? (Have I misunderstood you?) D has fairly permissive CTFE which uses the language itself; it remains statically typed. Haskell is statically typed while the type system can be made Turing complete by using certain language extensions. The Terra language (embedded in Lua) is statically typed and is metaprogrammed using Lua. Racket is certainly dynamic, but Typed Racket is ... well it's still dynamic, but type annotations are statically checked.