Python 也在考虑添加声明类型的支持了

https://www.python.org/dev/peps/pep-0526/
早些年脚本语言（ PHP 、 Python 、 Ruby 、 JS ）发展势头不错，到这几年新出的（ Go 、 Rust 、 Swift ）都是静态语言。
由于缺乏类型声明，脚本语言在编译阶段能检查出的问题太少了。
象 Swift 那样类型声明外加强大自动类型推导，再配上优秀的 IDE 写起来还是很舒服的。

Python

Swift

类型

脚本

19 replies • 2016-09-11 21:06:31 +08:00

sudoz

Aug 16, 2016

Pycharm 新版已经引入了类型检查

hosiet

Aug 16, 2016 via Android

py2 不亡，类型声明便无法推行

vicalloy

Aug 16, 2016 via iPhone

@hosiet 现在主流库都支持 py3 了，新项目用 py3 没啥问题。

janxin

Aug 16, 2016 via Android

这个只是用来类型检查的，不要想太多。这个应该也可以用在 py2 上

zhuangzhuang1988

Aug 16, 2016

@hosiet
可以写在文档里面，然后用 mypy 做出检查

loading

Aug 16, 2016 via Android

反正我已经在开发我第一个 golang 程序了…

2225377fjs

Aug 16, 2016

如果只是 hint 的话， pycharm 已经做的挺不错了，而且我们的编码规范一直都遵循。。。
例如：
"""
:type _can_accept_task: dict[int, TaskContext]
:type _runing_task: dict[int, TaskContext]
"""
上面是工程的一段代码注释，其实就是起到类型 hint 的功能。。

我没看错的话，应该 Python 应该不是要支持静态类型检查吧。。。

bombless

Aug 16, 2016 via Android

这个是给解释器和 ide 来推导程序的行为的。
ide 智能提示可以用上，解释器也可以利用这些信息。

一般叫 hint 吧， php 也有

vicalloy

Aug 16, 2016 via iPhone

@2225377fjs 写在注释里太不自然了，如果能原生支持要好很多。

franklinyu

Aug 17, 2016

並不是「聲明」類型，只是 hint 。「聲明」的意思是會出 error 的，這個 hint 最多給你個 warning 。

ljbha007

Aug 17, 2016

有人研究过动态语言的大量开源项目其中因为类型错误导致的 BUG 不到 2%

crytis

Aug 17, 2016 via iPhone

@sudoz 哪个版本？

janxin

Aug 17, 2016 via iPhone

@ljbha007 因为大部分跑个测试就找出来了。在代码补全上用会更好。

sudoz

Aug 17, 2016

@crytis 2016.2

echo1937

Aug 17, 2016 via iPhone

@ljbha007 能给一下出处吗？

vicalloy

Aug 17, 2016

确切的说确实是注解，不是声明。
@ljbha007 关键不是导致错误，主要还是 IDE 智能化的问题。
即使是目前智能化程度最高的 PyCharm ，所能给出的智能化提示及检查的程度都远低于 XCode 及 IDEA 。

shyling

Aug 17, 2016 via iPad

有什么用。。很多 pythonist 连 py 有哪些类型都不知道。。
个人觉得 typing 够用了

ljbha007

Aug 18, 2016

@echo1937 找不到了只把结果记下来了

crytis

Sep 11, 2016

@sudoz flask 的 request 的 args ，用 pycharm 为啥不提示有 get 这个方法呢？