为什么没有类似 TypeScript 这样的 TypePython 语言（ Python 超集）呢？

[miniyao]

人多发现用 TypeScript 确实规范了很多，增加的成本是可以接受的。

好像没有发现 Python 有类似的超集语言 TypePython 这样的呢？

[mxT52CRuqR6o5]

python3

[cmdOptionKana]

看 facebook 出品的这个

https://pyre-check.org
https://github.com/facebook/pyre-check

[ciaoly]

Python 创始人不是去微软了？你要的 type Python 大概在路上了

[tabris17]

cython

stackless python

[cmdOptionKana]

其实像 python, ruby 这样的动态语言，从理念上说是比静态语言更先进的，曾经也凭效率和优雅火过一把，当时还有句名言 “编程语言发展的终极形态就是 Lisp”，当时认为电脑性能提升了，动态语言运行效率问题变得不重要，反而写程序写得快更重要，然而……

没想到的是，IDEA 、Atom 、vscode 等现代化 IDE/编辑器的发展，让静态语言写起来也很快，静态分析功能也强大，反而动态语言傻了眼，风水轮流转，静态语言又全面制霸了。

[wlnirvana]

从另一个侧面来看，也是因为 Web 技术过去十几年实在是太火了，发展远远超过 Python，所以大公司愿意在相关的工具链上投入大量资源和精力，才有了 TypeScript 这种东西。

[seki]

因为 python 本身就设计有 typing
https://docs.python.org/3/library/typing.html

[xiaolinjia]

python3 有 type hints，只是因为不兼容 py2，被一些人狂吐槽罢了。实际上 py3.6+ 的很多第三方库，都已经加上 type hints 了。https://www.v2ex.com/t/669912#reply46

[MinQ]

IronPyton 坟头草都快 2 米高了

[vincenttone]

如果你只是为了规范，python 完全可以规范了，还要个超集做规范是要干什么。。。毕竟 python 不是 js

[no1xsyzy]

Python 还有不少库实用上了 __annotations__
比如 dacite 和 pydantic
似乎站里有人自称做过一个把函数根据 __annotations__ 自动生成图形界面的

[owtotwo]

平时 Python 代码过百行基本都写满 type-hints 的
pyright 挺好用的 不喜欢也可以换 mypy 或者其他

[laike9m]

TypeScript 和 Python 用户路过。从使用体验来讲，type hints 远远好于 TypeScript，主要在于 TypeScript 的许多生态和 JavaScript 割裂严重，尤其是工具链。如果说 Js 今天就从世界上消失那其实问题不大，但我总有种 TypeScript 和 JavaScript 往后会变成 Python 2/3 之争的感觉。

[Mark24]

@cmdOptionKana 还是人工工资太便宜，有个成本导向。

[ruanimal]

@xiaolinjia python2 坟头草也 1 米高了

[wellsc]

Cython?

[est]

你们想要的不是 type，你们想要的是 IDE 里 . 一下自动弹提示和属性方法写错了的自动检查。

[Macv1994]

@ruanimal 一米高应该还差 1 个月 13 天 哈哈哈

[crella]

@cmdOptionKana Visual Studio 2010 的功能已经比较强大了吧，我恨我自己作为外行人士，竟然太晚学习 C#，明明一开始就是从 VB6 转 VB.NET 的。

[szzhiyang]

@est 没有 type 就没有后者。