There have been many questions and answers about the relative benefits of static and dynamic typing. Each has their camp, and there are obviously good reasons for both. I'm wondering though, are there any specific features of Python that wouldn't be possible to implement or use in a statically-typed language?
I would expect that some of the more functional parts would be challenging, but we obviously have Haskell and C++14 and onward.
Again, specific examples would be appreciated!