函数式语言在公链领域的应用许多区块链项目为了保证安全性，在底层架构、虚拟机或智能合约的语言方面，选择了函数式语言，如 Ocaml、Haskell、Erlang 等。函数式语言由于其严格的变量类型定义和编译检验，以及拥有较好的形式化验证工具链（比如 CoQ ），在安全领域拥有很好的口碑。常见过程式语言编写的代码，一般必须重新用函数式语言标记方能进行形式化验证。
我们看到，在以上项目中，Tezos 支持的智能合约高级语言的种类最丰富，不仅包括 Pascal、Ocaml、Haskell 等多种函数式语言，也包括了 Python 这一应用普遍的语言。而 Cardano、Aeternity 都需要开发者学习一门新的函数式语言，使得开发门槛变得较高。 Michelson 语言的安全特性在智能合约语言的设计上，Tezos 采用了一种取长补短的创新方案。Tezos 的智能合约底层采用基于 Ocaml 的 Michelson 语言，而开发者实际接触的是 Python 等高级语言，并不需要了解 Michelson 语言本身。如此以来，可以结合 Michelson 语言更好的安全性与可审计性，与 Python 等高级语言的易于编程性。 Michelson 在架构上对标的是以太坊 EVM ，与 EVM 相比其相似之处有
Michelson 与 EVM 的主要区别是， 静态类型 所有进入 Michelson 智能合约的数据，都需要明确定义其类型。避免了跟类型不匹配有关的程序 bug ，如浮点溢出、除以 0 等。 原子计算 一个 Michelson 智能合约必须完成执行后才能调用其它智能合约。这一点避免了以太坊上经常发生的 re-entrancy 攻击 (如著名的 DAO 攻击）。 明确的调用失败 执行期发生的失败只有三种，明确失败（用 FAILWITH 语句处理）、gas 耗尽、数量溢出。这一点避免了以太坊上常出现的隐含模代数、错误指令、stack 溢出等类型的常见执行期攻击。 严格的语义 大小写、空格、短行都有严格规范的要求，让代码审计变得更方便。 可以看到 Michelson 相比 EVM 在安全上有诸多的改进，可以更好地抵御以太坊上经常出现的攻击类型。 SmartPy 开发工具包Tezos 上的 Dapp 开发者并不需要掌握 Michelson 语言 。这是因为开发者可以使用基于 Python 的 SmartPy SDK ，并将 Python 代码写的智能合约编译成 Michelson 语言。因此 Dapp 开发者只需要会 Python 就可以轻松上手。 SmartPy 是一个 Python 库，而 SmartPy.io 让用户能够在一个浏览器中执行 Python 脚本。Smartpy 的官方网站提供了一个 在线编辑器，Dapp 开发者可以直接用 Python 编写代码并编译成 Michelson 智能合约，然后部署到 Tezos 主网上。其使用界面设计相比以太坊的 Remix 在线编辑器更简洁明了，非常容易上手。Smartpy 还自带了一些现成的开发模版，方便开发者参考学习。 (责任编辑：admin) |
