Perhaps I am missing something though, could you expand a little on the specific part of Range-v3 that you are thinking of?
Check the first link rather than the cppreference documentation.
By the way, type-checking isn't Pythonesque. Haskellesque perhaps.
In concrete terms for C++, this means that abstract base classes Must be defined before the objects are defined. So if I wanted to use a library, I would be entirely restricted to whatever abstract base classes they define.
For Go, I could use a library and then define whatever interfaces I needed specifically for the functions I want to implement. Its effectively a much more structured and rigorous architecture for templated code.
At least this is my understanding. I've explored Go just enough to get some of the higher level concepts but I haven't quite dug into it yet. So correct me if I'm wrong.
