Simon Peyton Jones talks about the history of Haskell. What’s particularly important is his understanding of the pain of working with statically typed languages. There is a set of programs that you want to write but that the compiler doesn’t understand. Haskell has, over its more than 20 year history, slowly chipped away at that set of programs, making the language more expressive while never compromising its core purity. The goal is to make that area so small that people will never want nor need to use a dynamically typed language. I welcome that time, though I think it is far away.