Fe实施的正确性
除了语言本身之外，我们还采取步骤来确保编译器实现正确。换句话说，应该高度相信由Fe编译器生成的可执行代码将相对于语言规范正确运行。 下面列出了我们为确保正确性而采取的一些步骤： 编写语言规范 如果没有要检查的规范，就不能证明编译器是正确的。因此，我们已经开始编写该语言的规范，该规范大量引用自Rust。在我们准备进行审核时，我们将能够制定出全面的规范。 在Rust中实施 Rust是一种具有强大安全保证的系统语言。这些安全保证可防止Rust程序进入未定义的行为。例如，在安全的Rust中不可能使用空指针。这样一来，Rust编译器就可以在编译时捕获bug，否则在运行时会遇到bug。 使用不同的组件 Fe的目标是将编译器的组件分成遵循标准编译器设计指南的不同库。也就是说，我们已经将解析、语义分析编译实现为具有API、测试的独立库。使理解编译器的行为更加容易。 定位目标 编译器将Yul定位为中间表示。Yul是由Solidity团队开发的项目，旨在成为多个低层平台之间的共同点，这意味着我们不需要为EVM 1.0，EVM 1.5和eWASM编写单独的后端。目前，我们仅使用Solidity后端进行Yul编译。这为我们节省了大量时间。 Vitaliks以太坊路线图强调，将YUL标准化为中间语言也可能是针对Optimistic Rollup环境的便捷途径。 进展 解析器期望的EBNF语法可以在这里找到。解析器为该语法文件中指定的所有内容提供支持，并包括全面的测试。 今年年初，开发人员开始通过编译器。我们能够添加一些简单合同的支持。最值得注意的是，我们能够将一个简单的留言簿合同编译为功能字节码。 在过去的一个月中，Fe的发展显着增加。我们对ERC20合同中使用的所有功能支持感到乐观，并能够在2020年底之前进行编译。显然，到那时，编译器绝不是生产ERC20的合适选择，但是我们期待通过这样一个众所周知的工作示例展示Fe的功能。 下面是一个简单的合约，该合约今天已经完全可用：郑重声明：本文版权归天网查所有，转载文章仅为传播更多信息之目的，如作者信息标记有误，请第一时间联系我们修改或删除，多谢。
