All Languages are Dynamic - Speculations on the Future of Programming Languages

Explore the future of programming languages in this thought-provoking invited talk from the DLS 2023 conference. Delve into James Noble's argument that despite advancements in static analysis tools and techniques, all programming languages are fundamentally dynamic. Examine how virtual machines, dynamic compilers, and implementation frameworks are making dynamic languages more efficient to optimize. Consider the impact of IDEs, provers, dependent types, type inferencers, and AI on programmers' ability to express static information about dynamic program behavior. Reflect on the potential future where component libraries come with assertions and proofs, and programming evolves towards composition of complex mathematical constructs. Challenge your assumptions about the nature of programming languages and contemplate the implications for developers in this speculative exploration of a world where dynamism reigns supreme.