|全面比较智能合约语言:Solidity仍是当前最佳选择( 五 )


六、 结论
目前 , 智能合约开发语言的前景相对较小 , 但对新方法的研究很多 , 现有的语言也在频繁地变化 。 当前寻求图灵完备并提供面向对象特性的语言 , 虽然功能强大 , 但已经表明用它们编写的智能合约容易受到严重错误的影响 。 将一种语言的特性限制到不再图灵完备的程度 , 这种方法有助于消除某些类的错误 , 但要求开发人员以根本不同的方式编写代码 , 而不需要使用循环或递归 。 令人惊讶的是 , 最适合智能合约编程的函数式编程范式只有两种死的语言来表示 。 由于一个可利用的bug的成本如此之高 , 因此需要对智能合约编程语言的开发进行更多的研究 , 这种语言限制了副作用 , 并且仍然具有良好的开发人员工效学 。


推荐阅读