Language properties

My deep live into functional programming has definitely made me a fan. Most importantly, it helps me see a way for programming languages to keep evolving.

I’ve recently been learning about type systems, and I realized that structural and dynamic typing often pair while nominal and static type system often pair. Why?

Dynamically typed systems effectively come with meta-programming capabilities for free, but are dynamic systems fundamentally better at meta-programming?