……和科学。Ruby 不是实践这种方法特别好的载体，它偏重于艺术层面。最近这里有人分享了一本书和配套课程，以对初学者友好的方式涵盖了其中一些科学部分：《编程的实用理论》（A Practical Theory of Programming，http://www.cs.toronto.edu/~hehner/aPToP/）。遗憾的是，把软件的艺术和科学结合起来并应用到实际业务问题上的资料有点少。我也想贡献一点……
…and science. Ruby is not a particularly good vehicle for this approach, it is heavy on the art. A book and course showed up here recently that covers some of the science in a beginner friendly manner: A Practical Theory of Programming (http://www.cs.toronto.edu/~hehner/aPToP/). Unfortunately the material on combining the art and science of software and applying them to practical business problems is a little thin. I'd like to contribute…
……形式化方法，哎，我都不知道该从哪儿开始吐槽起。把直觉转化成正确的谓词逻辑所耗费的时间，足以让大多数专业开发人员望而却步。HN 以前推荐过 Eric Hehner 的《编程的实用理论》（Practical Theory of Programming）。我真把他的书通读了一遍。哪怕我几分钟就能解决一个搜索问题，我却很可能得花上好几个小时去形式化定义它的搜索条件。而且你见识过模型检测（model checking）吗……
…formal methods, oh, where shall I even begin? The amount of time to turn something intuitive into correct predicate logic can be prohibitive to most of professionals. HN used to feature Eric Hehner's Practical Theory of Programming. I actually read through his book. I could well spend hours specifying a searching condition even though I could solve the search problem in a few minutes. And have you checked out the model checking…
……可没有教科书上的例子那么漂亮优雅。后来的职场现实真是迎头泼了盆冷水。也许是个疯狂的想法，但迪杰斯特拉（Dijkstra）的《编程的修养》（A Discipline of Programming）本来就是为了在纸上写代码而生的。Hehner 的《编程的实用理论》（A Practical Theory of Programming）有点类似，而且更新一些——我还没读过。
…as nice and pretty as the textbook examples. The working world was quite a comedown later on. Maybe a crazy idea, but Dijkstra's A Discipline of Programming was meant for coding on paper. Hehner's A Practical Theory of Programming is kind of similar and more recent -- I haven't read it.
……和科学。Ruby 不是实践这种方法特别好的载体，它偏重于艺术层面。最近这里有人分享了一本书和配套课程，以对初学者友好的方式涵盖了其中一些科学部分：《编程的实用理论》（A Practical Theory of Programming，http://www.cs.toronto.edu/~hehner/aPToP/）。遗憾的是，把软件的艺术和科学结合起来并应用到实际业务问题上的资料有点少。我也想贡献一点……
…and science. Ruby is not a particularly good vehicle for this approach, it is heavy on the art. A book and course showed up here recently that covers some of the science in a beginner friendly manner: A Practical Theory of Programming (http://www.cs.toronto.edu/~hehner/aPToP/). Unfortunately the material on combining the art and science of software and applying them to practical business problems is a little thin. I'd like to contribute…
……形式化方法，哎，我都不知道该从哪儿开始吐槽起。把直觉转化成正确的谓词逻辑所耗费的时间，足以让大多数专业开发人员望而却步。HN 以前推荐过 Eric Hehner 的《编程的实用理论》（Practical Theory of Programming）。我真把他的书通读了一遍。哪怕我几分钟就能解决一个搜索问题，我却很可能得花上好几个小时去形式化定义它的搜索条件。而且你见识过模型检测（model checking）吗……
…formal methods, oh, where shall I even begin? The amount of time to turn something intuitive into correct predicate logic can be prohibitive to most of professionals. HN used to feature Eric Hehner's Practical Theory of Programming. I actually read through his book. I could well spend hours specifying a searching condition even though I could solve the search problem in a few minutes. And have you checked out the model checking…
……可没有教科书上的例子那么漂亮优雅。后来的职场现实真是迎头泼了盆冷水。也许是个疯狂的想法，但迪杰斯特拉（Dijkstra）的《编程的修养》（A Discipline of Programming）本来就是为了在纸上写代码而生的。Hehner 的《编程的实用理论》（A Practical Theory of Programming）有点类似，而且更新一些——我还没读过。
…as nice and pretty as the textbook examples. The working world was quite a comedown later on. Maybe a crazy idea, but Dijkstra's A Discipline of Programming was meant for coding on paper. Hehner's A Practical Theory of Programming is kind of similar and more recent -- I haven't read it.