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

Question

我使用Typscript已经有一段时间了，我必须说，结合nodejs比CPython当前实现更快的事实，我更倾向于用它来做更多的事情。在

事实上，我用它做了几个基本的应用程序，甚至是桌面应用程序。我喜欢Typescript是因为它有可选的静态类型。这使得编写代码通常要容易得多，更不用说智能感知在你想快速编写代码并运行一个原型的时候是惊人的。我在开发过程中遇到的bug也较少。在

但问题就在这里，我已经和Python一起工作了一年了，我喜欢这种语言，而且我更习惯于它的语法。然而，我越来越多地看到可选的静态类型对Python来说是一个非常棒的优点。所以，我做了一些研究，我首先从了解静态输入的情况开始。就像其他人一样，我用搜索引擎找到答案。在

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

1. Adding Optional Static Typing to 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"

现在，这看起来非常类似于Typescript中的实现。但是，如果你看一下日期，它可以追溯到2004年。在

然后，我又看了一眼BDFL，Guido制作的幻灯片：

1. Why Add Static Typing?

你又看到了同样的修辞。但是，我没有找到任何关于这方面的新信息。在

我还研究了@ this SO answer强制静态类型。在

所以，我想问一下，在Python中添加可选的静态类型是什么情况或状态？或者，除了python3，我们还需要发明像Typescript这样的东西吗？在

我认为可选的静态类型是很重要的，因为在我自己有限的经验中，我发现像Typescript和C这样的东西在制作复杂的类或大型项目时效果更好，我看到静态类型在帮助我更快地编写代码和无错误方面做了很大的贡献。我肯定我没有这里的大多数开发人员好，但这是我的看法。这就是为什么我觉得这个问题很重要。我的意思是，如果你有一种像C语言的可选类型，以及Python提供的漂亮语法，那么Python可能是不可阻挡的（yay！）。在

我对此做了一些研究，但没有什么实质性的东西，所以我希望so的一些令人敬畏和睿智的成员能够对这个问题有所了解。在

Answer 1

Or do we need to invent something like Typescript but for Python 3?

那是mypy！！！：-）

就我个人而言，我认为要么他们会合并，要么Python会拿出自己的解决方案。希望这很快发生！！！在