问Python中的可选静态类型的状态？

EN

我玩Typscript已经有一段时间了，我不得不说，由于nodejs比当前的CPython实现更快，所以我更倾向于用它来做更多的事情。

事实上，我已经用它制作了几个基本的应用程序，甚至是桌面应用。我喜欢打字稿的事实是，它有可选的静态类型。这使得编码更容易，更不用说intellisense了，当您想要快速编码并运行原型时，intellisense是令人惊奇的。我在开发过程中也遇到了较少的bug。

但问题就在这里，我已经使用Python一年了，我喜欢它的语言，我只是更习惯于语法。然而，我越来越多地看到，可选的静态类型对于Python来说是一个很棒的加点。所以，我做了一些研究，我首先试图了解静态打字的情况是什么。就像其他人一样，我用搜索引擎来找出答案。

以下是我读过的一些信息来源：

1. 在Python中添加可选的静态类型

如果您在这里查看实现(摘自上述链接)：

from StringIO import StringIO

def foo(f: StringIO) -> str:
    f.write("hello")
    return f.getvalue()

f1 = StringIO("booh+")
print foo(f1)  # prints "booh+hello"

现在，这看起来非常类似于类型记录中的实现。然而，如果你看一看日期，它可以追溯到2004年。

然后，我又看了看一张BDFL，Guido做的幻灯片：

1. 为什么要添加静态类型？

同样，你也会看到同样的言辞。然而，我没有找到任何有关这方面的新信息。

我还查看了关于强制执行静态类型的@这个答案。

所以，我想问一下，在Python中添加可选的静态类型的情况或状态是什么？或者我们需要发明类似于类型记录的东西，但对于Python3呢？

我认为可选的静态类型很重要，因为在我自己非常有限的经验中，我看到类似类型记录和C#这样的东西工作得更好，因为当我制作复杂的类或做大型项目时，我看到静态类型在帮助我更快地编写代码和避免错误方面起了很大的作用。我肯定我不像这里的大多数开发人员那样优秀，但这就是我的看法。所以我觉得这是一个很重要的问题。我的意思是，如果使用Python提供的漂亮语法对C#这样的语言进行可选的键入，那么Python可能是不可阻挡的(耶！)。

我已经对此做了一些研究，但我没有得到任何实质性的信息，所以我希望so的一些出色和明智的成员能够对这个问题有所了解。