如何看待python中加入statictyping?

在twiter上关注蟒爹(guido van rossum)的.蟒爹好像最近一直在搞static typing.http://pan.baidu.com/s/1cfroxs (最近的一个ppt)blog上也突然多了http://neopythonic.blogspot.com/回复内容:
不是为了 linter 做的 annotation 么
2016年5月31日更新,guido对于解决循环引用的方法

if false:
from a import a
class b:
def compare(self, a: ‘a’)

按照官方的说法,python永远不会变成static typing的,现在的新语法只是为了帮助ide进行检查,真正运行的时候不会有限制
没有也能用isinstance和assert实现同样效果。有了只是省点事而已。然而对于python一大堆弱接口(不使用继承而是实现函数就算实现接口),并没有什么卵用,还是得用hasattr和assert。
这么说吧,目前已采用的pep中,只有484说你该如何做类型标注,却没有任何一条pep提及解释器将如何做类型检查,因为现在的解释器就是很单纯的不做类型检查。蟒爹折腾了好久的mypy以及此次pycon上表示说要把类型检查机制(不是type hint)提到pep去。当然,纳入之后谁来管、如何实现、会不会有所改动,目前尚未可知。虽然py作为纯粹的解释型动态类型语言,不会给你真折腾个编译期来满足静态类型检查的要求,但是至少之后的某个版本py中可能会给你真正统一的类型检查方式,可能是装饰器,可能是运行参数,但不管怎么样,不再是满世界assert。(甚至还捞出来个重载装饰器……)这有何意义?一来写着方便了,不再需要你对每个参数都来个assert来保证类型可用;二来虽然没有编译期,但做做test还是不错的;此外还有jit,pypy表示标注没卵用,因为标注并不能真正起到限制作用,但若有统一标准限制方法,起码就不再是没卵用了,可以看看pyston(pyjion不太了解)还是希望能够有这么个类型检查的。当然,这个类型检查不会像java/c/c++那样堪当重任,能在执行前给你保证没有类型错误(说到底以上语言照样不能给你搞定如溢出越界之类的运行时错误),说到底还是压根没有编译期。我ts用的不多,只上手写过几个小玩意,不知贵ts在编译为js过程中的类型检查究竟强大到何种地步,是不是连导入个原生js写的玩意它也能给配上类型检查,若是能,为何py不可以?若是不能,提入标准来鼓励社区进行转化难道不是个合理有效的办法?——————————说早就有了的人一定看都没看那个ppt……——————————人家说的不是484弱爆了的hint,而是说在hint的基础之上实现真正的类型检查,在运行时进行限制,以及在非运行时进行推导,不是那个拿来当lint的玩意儿。人家不是说的type sig,而是解释器级的static type,对,就是你们念叨的typescript式的类型检查机制。貌似已经提交新的pep了(pep index里貌似没找到…)。不过放到pep里,就不一定是蟒爹说了算了……———————————可以看到的milestone是不错的,之后的提及更快的检查机制等都还值得期待,尽管目前用cpython仍就需要自己包个装饰器之类来实现检查。ts的类型检查是在编译时,同样直观ts部分,不鸟非ts部分;如果py的static type特性有朝一日可以真并入cpython从解释器角度加入,首先至少能给jit提供足够的便利。唯一的问题只剩下,其实绝大多数py模块都没有做过类型检查……——————喜大普奔!喜闻乐见!然而蟒爹也管不住神一样不正常的psf,啥时候能用上那只有天知道了。等弄完静态类型,咱大概终于可以考虑一下把jit纳入官养cpython了?
当然好,最近写惯了swift,已经离不开静态类型了
关注mypy的时候觉得走错了路,类型推导不应该走解释器兼容的路,不然搞得hinting的语法很诡异,而且用的时候也会因为解释器的原因出现一些问题。我觉得应该走typescript那样预编译产生无类型代码的路,既然官方也认为不应该在运行时加入类型限制,那么typing就不用考虑语法上兼容
我当然是资呲!最近在移植一个python写的myo开源协议到c++上,里面的类型乱的我都想*#&。以及,struct 的pack unpack真好用,真良心,很大程度上说明了类型,但是移植到cpp还是要靠人肉。最后,感谢std::function,std::bind,brace-initialization ,typedef,using,auto,shared_ptr做的一些微小的工作,1000行的python移植到c++竟然才1500行。
那些个时髦语言不过是暂时裸体而已,等把程序员勾引到手了,最后会把脱掉的衣服一件件穿回去
喜闻乐见,代码更好读了。。。

Posted in 未分类