Both Golang and Swift were designed as performant, type-aware Pythons. It should be able to fill the role fine.

Python also has optional type support since 3.5: https://docs.python.org/3/library/typing.html