[hereisdx]

Zulip (https://zulip.com/) has been doing this for a long time.

See this interesting blog post on how it was done: https://blog.zulip.org/2016/10/13/static-types-in-python-oh-...