对文式编程的一些误解

几年前，王垠写了一篇批判文式编程的文章『On literate programming』(http://yinwang0.wordpress.com/2011/05/18/literate-programming )。他在 2014 年写的一篇文章『我和权威的故事』(http://www.yinwang.org/blog-cn/2014/01/04/authority ) 中还是坚持着原有的观点。

他的主要观点如下：

文式编程会弄丢大图景；
文式编程工具不具备解析程序代码的能力，只是将代码分割为一段一段的文本，会导致变量作用域混乱，引入潜在的 bug；
文式编程是企图用人类的语言取代编程语言，而人类不是至高无上的，人类的语言是不精确的，程序语言却是在很多方面高于人类语言的，它不应该受到人类语言里的糟粕的影响……程序代码不应该迎合个别人的认知习惯，它应该符合它的建模的概念本质（The nature of the concept it models）；
文式编程会导致代码浏览困难。

在我看来，文式编程只不过是注解程序的一种比较另类的方式——用写篇文章或写本书的方式来注解一个程序，并非是说程序代码必须像人类语言一样。这只是个编程习惯而已，它并非拯救软件工程的银弹，可能连弹都算不上……Knuth 本人在他的文式编程论文里强调过：『I must warn the reader to discount much of what I shall say as the ravings of a fanatic who thinks he has just seen a great light』。

至少到现在为止，人类的语言依然是人类彼此理解的最基本的工具。脱离了人类语言，给你 E = mc^2 这个非常简单的程序，你未必知道它在说什么，以及这个程序可以用于计算哪些问题。未承载物理解释的形式化描述是没有任何意义的，无论它有多么准确。既然数学公式本质上就是程序，而有些人说他写的程序代码是自明的，事实上他将代码中的变量及函数名设成了人类语言的词汇，这恰恰可以证明，程序语言无法脱离人类语言。即使 E = mc^2 中出现的字母也都是人类语言词汇的首字母。

有些人自己所研究的领域里的各种形式化模型非常熟悉，训练有素，他们能够对领域问题相关的程序代码有着直觉上的认识。倘若代码交流只限于他们与同行之间，那么非形式化语言通常是不必要的。然而，初学者总是有的，否则知识无法承继。有着良好注解的代码，可以降低门槛，这就是文式编程的存在意义。

文式编程是在承认非形式化的人类语言与形式化的编程语言存在对立性的前提下尝试对它们进行统一，并非是用前者来干扰后者。

对文式编程的一些误解相关推荐

一文搞懂: 响应式编程是什么?
文章目录导言响应式编程是什么? 响应式宣言响应式系统应该具有什么特性什么是弹性? 回弹性? 消息驱动还是事件驱动? 响应式编程相关讨论为什么使用观察者模式什么是背压(backPressur ...
一文搞懂响应式编程是什么
文章目录导言响应式编程是什么? 响应式宣言响应式系统应该具有什么特性什么是弹性? 回弹性? 消息驱动还是事件驱动? 响应式编程相关讨论为什么使用观察者模式什么是背压(backPressur ...
阿里专家杜万：Java响应式编程，一文全面解读
本篇文章来自于2018年12月22日举办的<阿里云栖开发者沙龙-Java技术专场>,杜万专家是该专场第四位演讲的嘉宾,本篇文章是根据杜万专家在<阿里云栖开发者沙龙-Java技术专场& ...
响应式圣经：10W字，实现Spring响应式编程自由
前言全链路异步化改造的基础是响应式编程随着业务的发展,微服务应用的流量越来越大,使用到的资源也越来越多. 在微服务架构下,大量的应用都是 SpringCloud 分布式架构,这种架构总体上是全链路 ...
响应式编程函数式编程_函数式编程简介
响应式编程函数式编程根据您要求的对象, 函数式编程 (FP)是一种应运而生的开明编程方法,或者是一种在实践中几乎没有实际好处的过于学术化的方法. 在本文中,我将解释什么是函数式编程,探讨其好处,并 ...
Spring 5.0 GA版本发布，支持JDK9及反应式编程
Spring Framework 5.0耗时两年,终于在9月28日通过Spring官方博客撰文宣告发布第一个GA版本.期间经历1年多的里程碑版本和数个RC版本,现在 5.0.0.RELEASE已正式发 ...
IOS响应式编程框架ReactiveCocoa(RAC)使用示例
本文转载至 http://blog.csdn.net/dfqin/article/details/39164241 IOS ReactiveCocoa RAC 响应式编程 RACSignal Reac ...
响应式编程入门：实现电梯调度模拟器
据说每个程序员等电梯的时候都思考过电梯的调度算法-所以怎么动手实现一个呢?虽然这个场景貌似有些复杂,但却非常适合使用响应式编程的范式来处理.下面我们会在 RxJS 和 Vue 的基础上,一步步实现出一 ...
Android什么是函数,什么是函数响应式编程（JavaAndroid版本）
什么是函数响应式编程(Java&Android版本) 函数响应式编程(FRP)为解决现代编程问题提供了全新的视角.一旦理解它,可以极大地简化你的项目,特别是处理嵌套回调的异步事件,复杂的列表过 ...
浅谈Spring5 响应式编程
目录为什么是响应式编程用于响应式编程实现的理想案例响应流 (Reactive Streams) Spring 5 提供的响应式编程 Spring Web Reactive vs. Spring ...

对文式编程的一些误解

对文式编程的一些误解相关推荐

最新文章

热门文章