函数式编程能否支持更高效的区块链基础设施？

如果说区块链技术令人神往，那恐怕还有点保守呢。现在，已经部署的区块链项目已经有几百个，并且还有数百个项目将在未来几个月推出。随着各家公司开发更先进的区块链基础设施及应用程序，区块链技术的未来将变得一片光明。

在区块链平台开发中使用的一些最著名的编程语言是面向对象语言。到目前为止，像C++、Python和Ruby这样的编程语言在区块链场景中占据主导地位。

如果按照最近的发展来看，函数式编程语言是一股不可忽视的力量。它们提供了区块链技术独特的功能，有助于它们展示出重要的比较优势。

那么，目前用于开放区块链协议开发的有哪些函数式编程语言？在此举几个例子。

函数式编程语言

OCaml

OCaml是经过时间考验过的函数式编程语言。它拥有静态类型的系统，有助于消除运行时错误。相比C#或Java，用OCaml编写的程序通常启动和运行速度更快，并且消耗的内存更少。

除了支持链接到C基本类型的外部函数接口之外，OCaml的其他功能包括一流的语法闭包、参数多态、异常处理、尾递归和模式匹配。还有用于自动内存管理的垃圾收集器功能。

Haskell

Haskell是基于lambda演算的纯函数式编程语言。它具有用户友好的语法、一系列广泛的物理库和用于教育和支持的绝佳资源。不了解它的开发人员进行原型设计时，这些能起到重要的参考作用。

Haskell还拥有一流的工具、声明式和静态、强类型。在构建高性能应用程序时，这些特性让Haskell成为一个很好的选择。

Erlang

Erlang是一种函数式编程语言，用于构建分布在计算机网络上的强大的程序系统。它已经在通信行业中使用了30多年，目前90%的互联网流量会经过由Erlang控制的节点。作为一种函数式编程语言，它更注重表达式的评估。表达式使用函数来获取基本值。

在支持多线程方面，Erlang比任何其他编程语言都早。它提供垃圾收集、使用虚拟机，并具有模式匹配，用它可以写出简洁清晰的程序。Erlang为C、C++和Rust等其他编程语言提供了接口。

Erlang被认为是一种优秀的语言，尤其是在开发有如下要求的后端系统时：

大量的并发活动
实时响应
不间断运行和容错

现在，你对函数式编程语言有了一点基本了解了，我们来看看是什么让它们这么适合区块链。

函数式编程语言的优点

不变性

通常，函数式编程语言没有可变变量，一旦赋了值，就不能改变。这让代码行为更容易预测，并且减少了系统错误的数量，从而提高了系统的稳定性。

容错

容错是指即使出现错误，系统可以继续运行。有些函数式编程语言（如Erlang）默认具有容错功能。

易于并行化，高度分布式

函数式编程语言可以让你创建高度并行化和高度分布式的系统。用于迭代的内置函数（如map和reduce）在区块链开发中发挥作用。

虽然还有很多优点，但我们来深入研究一下更有趣的内容。你听说过包含函数式编程的区块链吗？请继续阅读我们的文章。

用函数式编程的区块链协议

Tezos

Tezos是一个区块链项目，旨在提供“世界首个‘自我修正’的加密货币”。它是一个自治的、去中心化的区块链平台，使用链上治理，会随着时间的推移帮助自己升级协议。用替代的委托股权证明（Delegated Proof-of-Stake，简称DPoS）方法达成共识，被称为液态股权证明（Liquid Proof-of-Stake）。

Tezos在OCaml中实现，OCaml是一种函数式编程语言，提供快速、明确的语法和语义以及生态系统，使Tezos成为正确性形式证明的良好选择。形式验证，即开发人员能够用数学方法证明其智能合约代码的准确性。

Cardano

Cardano是去中心化、基于区块链的开源平台，使用被称为Ouroboros的股权证明（Proof-of-Stake）数学计算。Ouroboros可以通过代币拥有者的投票来形成共识。

Cardano区块链是用Haskell编写的，使用了具有强大静态类型和正式规范的纯函数式编程语言Plutus来定义其智能合约。Plutus的语法和Haskell的类似，但是与Haskell不同，该语言受到了热切的评估。

æternity

æternity是基于区块链的平台，包含智能合约和去中心化应用程序。类似Tezos和Cardano，æternity协议是用函数式编程语言Erlang编写的，其智能合约语言Sophia也是函数式编程语言。

Sophia是属于机器学习的编程语言。它缺少任意可变状态，但是每个合约实例的状态形式是有限的。它是一种强大的语言，可以指定和自动证明智能合约的属性，使之非常适用于高价值、系统关键的智能合约。

除了Erlang之外，核心协议中还包括一些技术特性，使æternity脱颖而出。

状态渠道——该技术用于显著地改善交易和智能合约的扩展性，方法是通过把交易和智能合约从更慢的主链上移走（离线链）。除了可扩展性外，状态渠道的额外优点是提高了隐私性，因为参与渠道的所有各方之间的交易或合约保持隐私性。此外，因为用户之间的所有互动都是私密的，所以智能合约和交易可以并行执行。

Bitcoin-NG——为了提高移动去中心化应用程序的可用性，主链的交易速度也必须提高。在æternity中，这是通过实现Bitcoin-NG来实现的，Bitcoin-NG是下一代共识协议，在保持系统去中心化的同时，可以更快**地进行交易。

命名系统（Naming System）——集成的命名系统也是æternity的一部分。任何地址、智能合约或Oracle数据库都可以拥有一个人类可读的名字，而不是一串数字和字母，这和大多数区块链平台的情况一样。这改善了用户友好性，并有助于智能合约开发人员。

集成的预言机——在æternity区块链上，任何AE用户都可以托管和使用带有一组特别交易的预言机。预言机报告真实世界里的事件，为智能合约提供信息。这提高了智能合约的效用，并充分实现其完全破坏性的潜力。

区块链治理—— æternity实现了一种股权证明变体，允许AE代币用户正式表达他们在任何主题上的观点。任何AE用户可以用他们的AE余额签署交易来提出问题或回答问题。可以委托。 æternity的治理体系类似于一种在区块链中实施的流动民主。投票结果向开发人员表明，社区在不同主题上的观点，包括基本的系统变量，如区块大小、区块奖励或区块时间。投票结果不具有约束力，但具有形式上具有象征意义。

工作量证明挖矿——与很多新的区块链平台不同（那些平台实施有争议的治理机制，建立了股权证明共识），æternity依赖于经过验证的工作量证明方法。

如果你对 æternity背后的团队感兴趣，可以了解一下：该项目得到了Erlang和区块链社区中一些最有经验的开发人员的支持。Erlang的共同创始人Robert Virding，和开源Erlang社区最多产和知名的成员之一Ulf Wiger，以及世界级的区块链开发者Sascha hanse都是æternity 团队中的成员。在该运动最前沿的是创始人Yanislav Malahv，由于一开始就参与该项目，他被看作是以太坊的教父。

结论

函数式编程语言正在进入区块链世界。它们的特性使它们能够独特地适合分布式分类账协议和智能合约的开发。区块链领域内外技术最先进的一些项目转用函数式编程，以获得可扩展性、稳定性和容错性。关注区块链技术的开发人员绝对应该要考虑探索一下函数式编程。它很有可能是最实用的智能合约平台的基础。

阅读英文原文：Advantages of Functional Programming for Blockchain Protocols