There are a few efforts working in this space. As you can imagine, all of them are experimental: - Dex: https://github.com/google-research/dex-lang/ https://gi

There are a few efforts working in this space. As you can imagine, all of them are experimental: - Dex: https://github.com/google-research/dex-lang/ https://github.com/google-research/dex-lang/ - Hasktorch: https://github.com/hasktorch/hasktorch https://github.com/hasktorch/hasktorch - This initiative from the Python Typing-sig: https://docs.google.com/document/d/1oaG0V2ZE5BRDjd9N-Tr1N0IKGwZQcraIlZ0N8ayqVg8/ https://docs.google.com/document/d/1oaG0V2ZE5BRDjd9N-Tr1N0IK...