为了看懂王垠Pysonar,我应该掌握哪些知识? 我希望自己做出一个Python的静态类型检查工具,就像Pysonar所做的那样,只是我还想扩展更多的功能.我应该如何学习?   Erlang里的Dialyzer/Typer在一开始就借鉴了王垠后来写的PySonar的,所以看Dialyzer/Typer的论文就好了. DIALYZER: a DIscrepancy AnaLYZer for ERlang programs TYPER: A Type Annotator of Erlang Code…

作者:王垠 授权本站转载. 编程是一件创造性的工作,是一门艺术.精通任何一门艺术,都需要很多的练习和领悟,所以这里提出的“智慧”,并不是号称三天瘦二十斤的减肥药,它并不能代替你自己的勤奋.然而我希望它能给迷惑中的人们指出一些正确的方向,让他们少走一些弯路,基本做到一分耕耘一分收获. 反复推敲代码 既然“天才是百分之一的灵感,百分之九十九的汗水”,那我先来谈谈这汗水的部分吧.有人问我,提高编程水平最有效的办法是什么?我想了很久,终于发现最有效的办法,其实是反反复复地修改和推敲代码. 在IU的时候,…

<码农周刊>已经累计发送了 38 期,我们将干货内容进行了精选.此为 Python 篇. <码农周刊>往期回顾:http://weekly.manong.io/issues/ 如何让 Python 代码运行得更快? 作者给出了 18 条 Python 代码性能优化小贴士,简单明了,拿来即用. http://infiniteloop.in/blog/quick-python-performance-optimization-part-i/ Python 学习资源列表 (kirang8…

记得当年在程序员杂志上看出这次访谈,10多年过去了, 这件事儿最近被重提了, 原因是 Kotlin. 1.对Checked Exceptions特性持保留态度 (译者注:在写一段程序时,如果没有用try-catch捕捉异常或者显式的抛出异常,而希望程序自动抛出,一些语言的编译器不会允许编译通过,如Java就是这样.这就是Checked Exceptions最基本的意思.该特性的目的是保证程序的安全性和健壮性.Zee&Snakey(MVP)对此有一段很形象的话,可以参见: http://www.b…

Kotlin 和 Checked Exception 最近 JetBrains 的 Kotlin 语言忽然成了热门话题.国内小编们传言说,Kotlin 取代了 Java,成为了 Android 的“钦定语言”,很多人听了之后热血沸腾.初学者们也开始注意到 Kotlin,问出各种“傻问题”,很“功利”的问题,比如“现在学 Kotlin 是不是太早了一点?” 结果引起一些 Kotlin 老鸟们的鄙视.当然也有人来信,请求我评价 Kotlin. 对于这种评价语言的请求,我一般都不予理睬的.作为一个专业…

C# 的 IDisposable 接口 我在微软的团队快被微软 C# 里面的各种 IDisposable 对象给折腾疯了…… 故事比较长,先来科普一下.如果你没有用过 C#,IDisposable 是 C# 针对“资源管理”设计的一个接口,它类似于 Java 的 Closeable 接口.这类接口一般提供一个“方法”(比如叫 Dispose 或者 Close),你的资源(比如文件流)实现这个接口.使用资源的人先“打开资源”,用完之后调用这个方法,表示“关闭资源”.比如,文件打开,读写完了之后,调…

有些人问我,在现有的语言里面,有什么好的推荐?我说:“Java.” 他们很惊讶:“什么?Java!” 所以我现在来解释一下. Java超越了所有咒骂它的“动态语言” 也许是因为年轻人的逆反心理,人们都不把自己的入门语言当回事.很早的时候,计算机系的学生用Scheme或者Pascal入门,现在大部分学校用Java.这也许就是为什么很多人恨Java,瞧不起用Java的人.提到Java,感觉就像是爷爷那辈人用的东西.大家都会用Java,怎么能显得我优秀出众呢?于是他们说:“Java老气,庞大,复杂,臃…

以前写过一些对 Go 语言的负面评价.现在看来,虽然那些评价大部分属实,然而却由于言辞激烈,没有点明具体问题,难以让某些人信服.在经过几个月实际使用 Go 来构造网站之后,我觉得现在是时候对它作一些更加“客观”的评价了. 定位和优点 Go 比起 C 和 C++ 确实有它的优点,这是很显然的事情.它比起 Java 也有少数优点,然而相对而言更多是不足之处.所以我对 Go 的偏好在比 Java 稍低一点的位置. Go 语言比起 C,C++ 的强项,当然是它的简单性和垃圾回收.由于 C 和 C++ 的…

原文:http://baoz.me/446252 码农周刊,本人有修改   Python标准库,第三方库 按功能进行了分类,之前有一Pythoner说there is a library for everything in Python,果然是功能强大. 当我们需要某个功能时,先可以在这里检索 https://github.com/vinta/awesome-python     如何让 Python 代码运行得更快? 作者给出了 18 条 Python 代码性能优化小贴士,简单明了,拿来即用.…

注:本文转自大神王垠的博客 原文出处 http://www.yinwang.org/blog-cn/2014/02/09/programmer-mental/ 说实话,虽然似乎为之奋斗了十多年,在真正进入软件行业的短短一年之后,我已经对它感到相当的厌倦了.这并不是说这个行业没有前景,而是在这个行业工作,其实很难得到心理上的快乐. 人们说女怕嫁错郎,男怕入错行.我并不认为自己入错了行,我仍然很喜欢设计程序和语言,而且我显然是这个领域的王牌之一.然而我却看到了这个行业里的无限混沌,让我觉得喘不过气来…