编程范式游记本质.pdfVIP

38|编程范式游记9）-编程的本质

2018-02-08

我们讲了各式各样的不同语言的编程范式，从C语言泛型，讲到C++的泛型，再讲到数式的

Map/Reduce/Filter，以及Pipeline和Decorator，还有面向对象的多态通过依赖接口而不是实现

的桥接模式、策略模式和模式，以及面向对象的IoC，还有JavaScript的原型编程在运行时对

对象原型进行修改，以及Go语言的委托模式…

所有的这切，不知道你是否看出些端倪，或是其中的些共性来了？

两篇

1976年，计算机科学家，AlgolW，Modula，Oberon和Pascal语言的设师NiklausEmil

Wirth的Algorithms+DataStructuresPrograms为1985年版）

即算法+数据结构=程序。

这本书主要写了算法和数据结构的关系，这本书对计算机科学的影响非常深远，尤其在计算机科学

的教育中。

1979年，英国逻辑学家和计算机科学家RobertKowalskiAlgorithm=Logic+Control，并

主要开发“逻辑编程”相关的工作。

RobertKowalski是位逻辑学家和计算机科学家，从20世70年代末到整个80年代致力于数据

库的研究，并在用计算机证明数学定理等当年的重要应用上颇有建树，尤其是在逻辑、控制和算法

等方面提出了性的理论，极大地影响了数据库、编程语言，直至今日的人工智能。

RobertKowalski在这篇里提到：

gorithmcanberegardedasconsistingofalogiccomponent,whichspecifiestheknowledge

tobeusedinsolvingproblems,andacontrolcomponent,whichdeterminestheproblem-solving

strategiesbymeansofwhichthatknowledgeisused.Thelogiccomponentdeterminesthe

meaningofthealgorithmwhereasthecontrolcomponentonlyaffectsitsefficiency.The

efficiencyofgorithmcanoftenbeimprovedbyimprovingthecontrolcomponentwithout

changingthelogicofthealgorithm.Wearguethatcomputerprogramswouldbemoreoften

correctandmoreeasilyimprovedandmodifiediftheirlogicandcontrolaspectswereidentified

andseparatedintheprogramtext.

翻译过来的意思大概就是：

任何算法都会有两个部分，个是Logic部分，这是用来解决际问题的另个是Control部

分，这是用来决定用什么策略来解决问题。Logic部分是真正意义上解决问题算法，而

Control部分只是响解决这问题的效率。程序运行的效率问题和程序的逻辑其实是没有关系

的。我们认为，如果将Logic和Control部分有效地分开，么代码就会变得更容易改进和维

护。

注意，最后话是重点——如果将Logic和Control部