Haskell has crazy amounts of wild evolution and experimentation with new ways to do a programming language. Look at the number of language extensions present in

Haskell has crazy amounts of wild evolution and experimentation with new ways to do a programming language. Look at the number of language extensions present in a typical non-toy haskell system. It's not just a single arbitrary set of conditions. I'd consider it more as a highly successful platform for PL research that people happen to build stuff in. If that's not progress, I don't know what is.