Facebook have launched their own static type checker for Python, as an alternative to mypy!
https://m.facebook.com/notes/protect-the-graph/pyre-fast-type-checking-for-python/2048520695388071/
It uses the same syntax, but seems more focused on Language Server Protocol integration.