七周其语言：理解多种编程泛型 · OopStorm

[AlphaHinex]

https://oopstorm.github.io/2018/04/04/2018-04-04-7-languages-in-7-weeks/

[wyiyi]

此书主要介绍了Ruby、Io、Prolog、Scala、Erlang、Clojure和Haskell这七种语言。
这本书一共讲了四种编程范型分别是：面向对象编程、原型编程、约束-逻辑编程、函数式编程

• 面向对象编程：Ruby和Scala
• 原型编程：Io
• 约束-逻辑编程：Prolog
• 函数式编程：Scala、Erlang、Clojure、Haskell

1. Ruby：Ruby的纯面向对象和动态类型特性都极大地提高了编程效率。面向对象，意味着Ruby支持封装、类继承、多态等特性。对于Ruby在：①性能 ②并发和面向对象编程 ③类型安全 ④Ruby不会像静态类型语言捕获的错误那么多（鸭子类型），随着现在硬件性能的提高以及Ruby自身的改进，逐渐的完善；Ruby的核心优势是它的语法和灵活性。

2. Io：与Java和Ruby不同的是，Io有非常出色的并发库，其主要组成部分包括协程、actor和future。actor、future和协程使得Io编写多线程 应用程序要容易得多；但是由于Io语法过于简单，难以用简短的方式表达艰深的概念，在性能上拖慢其执行速度。

3. Prolog：声明式编程语言和逻辑编程语言，貌似只要描述一个事实和推论，就能写出解决很多难题。其擅长的核心领域，它专注于逻辑编程，它不是一门通用的编程语言；对于递归调用，这个优化的确能够大大节省内存占用，但是也有些依赖递归的语言（例如：里面对于数独和八皇后问题的编码解决）。

4. Scala：一门混合编程语言，算是面向对象语言与函数式语言之间的桥梁。它与Java紧密集成：运行于JVM之上；可以直接使用Java类库；Scala和Java一样都是静态类型语言；其语法与Java比较接近；既支持面向对象范型也支持函数式编程范型。Scala中一切都是对象。Scala重要的方面之一就是其处理并发的方式。其主要结构包括actor和消息传递；其二：Scala提供内置的XML支持；Scala的一个重要的妥协就是引入了可变性，易导致各种各样的并发bug，也是不足之处。

5. Erlang：基于Prolog，它不仅是一门函数式语言，并发方面采用的是轻量级进程也是它最大的优势。Erlang主要的库是开放电信平台（Open Telecom Platform，OTP）, 你可以找到帮你构建各种应用的库，包括处在监视状态下的持久进程、访问数 据库的连接、分布式应用等。OTP有整套的Web服务器以及众多工具都可用于构建电信应用, 所以对可用性和可靠性的要求很高。

6. Clojure：一门Java虚拟机语言，在版本数据库中使用同一种策略管理并发的语言。从字面上里理解的意思就是一个列表语言，即取列表第一个元素作函数，其余元素做参数。软件事务型内存（Software Transactional Memory，STM）包装了事务中某个共享资源的每一个分布式访问。相同的方法也可用于数据库对象，能在触发并发操作时保持数据库的完整性。

7. Haskell：它是本书唯一的纯函数式语言，也就是说，它根本不存在可变状态：只要使用相同的输入参数调用相同的函数，就会返回相同的输出。

七种语言的结构如图：