Pascal Costanza wrote: > For example, static type systems are incompatible with dynamic > metaprogramming. This is objectively a reduction of expressive power, > because programs that don't allow for dynamic metaprogramming can't be > extended in certain ways at runtime, by definition. What is dynamic metaprogramming? Regards, Jo