广告位API接口通信错误,查看德得广告获取帮助
没人能让所有人满意所以让你自己和中意的人满意就可以了。你所判定的一切也许就是你自己内心的投影。人生就是一个不断接纳和抛弃的过程就是一段迎接冷眼嘲笑孤独前行的旅途。 以下为开发者Christoph叙述Fe的文章。 如今以太坊网络上部署的大多数应用程序都是用Solidity编写的。我们认为Solidity团队做得很好做了很多努力保持其当前的市场份额。但是我们也认为如果开发人员又更多选择将对生态系统产生积极影响。 我们很高兴为以太坊生态系统宣布一种名为Fe(读“ fee”)的新的智能合约语言。该语言最初是对Vyper编译器(在Rust中)的重写旨在解决Consensys在《Vyper安全性评论》中强调的问题。 Rust语言发展如火如荼欧科以太坊生态内的编程语言都是Solidity(或者Vyper)但Rust的优越性一直备受加密货币项目和开发者喜爱usdk那以太坊生态怎么办?以太坊开发了Fe一个和Rust联系起来的语言。为安全性出现的语言。 虽然最初的目标是使用Vyper编译器但最终语言开始出现语法差异比特币区块链浏览器因此决定使用新名称进行明确命名。Fe出生了。 “ Fe”是元素周期表中化学元素铁的字母。Fe传达了一种耐用感这强化了编译器正确性的概念。Rust在Fe上形成这将名称与编写Fe编译器的Rust语言联系起来。 这个项目继承了Vyper的许多东西。也就是说它具有Python语法并强调语言安全性。因此Fe的语法很大程度上受Python启发。允许使用Python的开发人员熟悉的可读性和表达性代码。Fe还使用静态类型限制动态行为以减少footguns并提高安全性。 在开发的早期阶段Fe和Vyper之间的差异仍然有限。现在人们会注意到okexFe从Rust借来了一些语法属性。随着我们继续添加新功能Fe可能会开始与Rust更加相似。 除了语言本身之外我们还采取步骤来确保编译器实现正确。换句话说应该高度相信由Fe编译器生成的可执行代码将相对于语言规范正确运行。 下面列出了我们为确保正确性而采取的一些步骤: 编写语言规范 如果没有要检查的规范就不能证明编译器是正确的。因此我们已经开始编写该语言的规范该规范大量引用自Rust。在我们准备进行审核时我们将能够制定出全面的规范。 在Rust中实施 Rust是一种具有强大安全保证的系统语言。这些安全保证可防止Rust程序进入未定义的行为。例如在安全的Rust中不可能使用空指针。这样一来Rust编译器就可以在编译时捕获bug否则在运行时会遇到bug。 使用不同的组件 Fe的目标是将编译器的组件分成遵循标准编译器设计指南的不同库。也就是说我们已经将解析、语义分析编译实现为具有API、测试的独立库。使理解编译器的行为更加容易。 编译器将Yul定位为中间表示。Yul是由Solidity团队开发的项目旨在成为多个低层平台之间的共同点这意味着我们不需要为EVM 1.0EVM 1.5和eWASM编写单独的后端。目前我们仅使用Solidity后端进行Yul编译。这为我们节省了大量时间。 Vitaliks以太坊路线图强调将YUL标准化为中间语言也可能是针对Optimistic Rollup环境的便捷途径。 解析器期望的EBNF语法可以在这里找到。解析器为该语法文件中指定的所有内容提供支持并包括全面的测试。 今年年初开发人员开始通过编译器。我们能够添加一些简单合同的支持。最值得注意的是我们能够将一个简单的留言簿合同编译为功能字节码。 在过去的一个月中Fe的发展显着增加。我们对ERC20合同中使用的所有功能支持感到乐观并能够在2020年底之前进行编译。显然到那时编译器绝不是生产ERC20的合适选择但是我们期待通过这样一个众所周知的工作示例展示Fe的功能。 okex注册 (责任编辑:admin) |