从看到这本书名字的那一刻起，我就被深深地吸引了。修炼，是啊，万事兼修炼，想要做好任何事情都必须修炼，只是修炼的难易程度和所需付出的代价不同罢了。不参考字典的解释，我觉得修炼就是思维或身体所经历的一个对某件事情步步深入、逐渐强化的过程，通过修炼最终可能达到对这件事情的全面精通（比如卖油翁的手熟抑或是武侠里臻至化境的大侠）。对于编程这件事，虽然我从开始接触至今已有将近7载，但我深深地知道，自己水平还比较底。记得前些日子看程序员的十层楼，虽然作者讲的很夸张但是也不无道理，对比一下，自己都忍不住有些鄙视自己。不过我这人向来乐观，倒也不觉得自卑，因为好在自己还算年轻，有得是时间继续努力修炼^_^。起这样的书名，想必作者必是经过修炼而有所得才写的吧,看了下作者，登时惊为天人，居然是鼎鼎大名的Dijkstra先生（估计大多学计算机的都听过他发明的寻找有向图最短路径的算法吧）如果大家还是不太清楚的话，那么正是此高人提出了那条广为流传的程序设计诫语：“少用goto语句”。Dijkstra大师是和写了三卷《计算机程序设计艺术》的高德纳大师同一时代齐名的计算机程序设计界的巨擘泰斗，是对计算机科学多方面做出过贡献的伟大科学家。
面对这样一本书，说实话，我情不自禁的就坐不住了，果断下载试读来读。比较失望的是提供的试读没有目录...，不过木有什么大碍，提供的是第4章。直接读了两遍没读懂，一来感觉直接拿出第四章有些断章取义，二来讲的东西比较深入偏理论。一下就把我打击的安静了下来，也不那么兴奋了。看来我真的还是修炼得不到位，有道是读书就要读超越了自己心智的书，看来这本硬骨头我是一定要啃啃了。由于当时信心有些受损，所以就没有再继续读，后来我又陆陆续续的读了一两边，基本上理解了一些，再后来我在一个宁静的下午，特地净身焚香，小心翼翼的翻开了这篇试读（夸张一下^_^），又从头仔细地进行了研读，终于功夫不负有心人差不多全部理解了。当然，这也正式这篇博客迟迟未能发表的原因，还是得继续修炼啊！
其实第四章这里讲的是编程语言本质的一个方面——语义是怎么产生的。这里有很重要的几点，我们编程是对于设备进行的，所以某个编程语言平台就是一种对设备的抽象（可以理解为一种虚拟机），而程序中的语句就是设备的命令（我天，我以前怎么就想不到...怪不得自己成不了大师）！同样，我们所编写的程序也是一种设备，这个程序可以只包含一条语句，甚至什么都没有。这里大师还定义了一种wp(S,R)的形式化表达方式，表示设备S（编程语言）在R情况下的谓词转换器。程序就是谓词转换器的一种编码，所以我们写出的程序的语义是由谓词转换器的规则来决定的。后面作者为我们详细介绍了几种谓词转换器，并且给出了看起来更简洁明了一些的BNF格式。对于我而言，这里的主要难点是对于设备的理解，编程语言、编程语言的语句、用变成语言所写的程序...它们都是对于设备的抽象，都是设备，这个理解对于我而言确实有些困难，这里还希望能够读一下这本书的全本，从前面的几章开始帮助理解。
这本书对于我而言不是那么好懂的，但正是因为这样才更应该好好得去理解书中所讲的内容。查了一下这本书的介绍和目录，觉得这本书涉及的内容主要包括两个方面：编程语言的本质和算法，这是我们真正应该去学习领会，去好好修炼的方面。世界上的技术日新月异、千变万化没有穷尽，只有算法、编程语言的设计、数据结构等等这些思想层面的东西永远不会过时，这本书提供给我们的正是这样的宝贝。至于这本著作的写作风格和手法，像作者这样已经在程序设计方面修炼到得道的人，给人的感觉就是信手拈来、言简意赅、深入透彻而又非常严谨。对于算法的讲解，据作者在前言中所写，作者不仅是单单呈现一个算法，而且对算法在形成过程中的思考进行了详细的记录，这种思维层面的记述绝对是沙子中的黄金。这本书的题例别具一格，中英双语对照，做的非常棒，对于翻译而言，不论译者水平有多么高，永远都不可能做到完美，除非它是作者本人而又精通几门语言（这相当于是再创作了），尤其是技术书籍很多时候都不可能翻译的那么精确，甚至有时候翻译之后的语句都完全不能让人理解，这本书这样的安排无疑能够给我们提供一种绝佳的阅读体验，中英文对照帮助理解的同时还能学习一下技术英语。我觉得这本书是每一个搞计算科学尤其是从事程序设计的人员都应该带着敬畏感仔细领悟领悟的，这绝对是通往编程水平新境界的一条修炼捷径（当然如果您俨然已经是个大师，那就另当别论了）。
阅读(1701) | 评论(0) | 转发(0) |
