The translation is temporarily closed for contributions due to maintenance, please come back later.
The translation was automatically locked due to following alerts: Could not merge the repository.
Zen

Translation

ASR is still semantically equivalent to the original Fortran code (it did not lose any semantic information). ASR can be converted to AST, and AST to Fortran source code which is functionally equivalent to the original.
89/2190 · 219

This translation is currently locked.

English Chinese (Simplified) Actions
Any Fortran source code can always be either converted to an equivalent AST or one gets a syntax error
任何 Fortran 源代码总是可以转换为等效的 AST 或出现语法错误
Any AST can always be either converted to an equivalent ASR or one gets a semantic error
任何 AST 总是可以转换为等效的 ASR 或者出现语义错误
So when a conversion can be done, they are equivalent, and the conversion can always be done unless the code is invalid.
因此，当可以进行转换时，它们是等效的，并且除非代码无效，否则始终可以进行转换。
ASR Design Details
ASR 设计细节
The ASR is designed to have the following features:
ASR 旨在具有以下功能：
ASR is still semantically equivalent to the original Fortran code (it did not lose any semantic information). ASR can be converted to AST, and AST to Fortran source code which is functionally equivalent to the original.
ASR 在语义上仍然等同于原始 Fortran 代码（它没有丢失任何语义信息）。 ASR 可以转换为 AST，AST 可以转换为 Fortran 源代码，在功能上与原始代码相同。
ASR is as simple as possible: it does not contain any information that could not be inferred from ASR.
ASR 尽可能简单：它不包含任何无法从 ASR 推断出的信息。
The ASR C++ classes (down the road) are designed similarly to SymEngine: they are constructed once and after that they are immutable. The constructor checks in Debug more that all the requirements are met (e.g., that all Variables in a Function have a dummy argument set, that explicit-shape arrays are not allocatable and all other Fortran requirements to make it a valid code), but in Release mode it quickly constructs the class without checks. Then there are builder classes that construct the ASR C++ classes to meet requirements (checked in Debug mode) and the builder gives an error message if a code is not a valid Fortran code, and if it doesn't give an error message, then the ASR C++ classes are constructed correctly. Thus by construction, the ASR classes always contain valid Fortran code and the rest of LFortran can depend on it.
ASR C++ 类（未来）的设计类似于 SymEngine：它们被构造一次，之后它们是不可变的。构造函数在 Debug 中检查是否满足所有要求（例如，函数中的所有变量都有一个虚拟参数集，显式形状数组不可分配以及所有其他 Fortran 要求使其成为有效代码），但在发布模式它无需检查即可快速构建类。然后是构建 ASR C++ 类以满足要求的构建器类（在调试模式下检查），如果代码不是有效的 Fortran 代码，构建器会给出错误消息，如果它没有给出错误消息，则 ASR C++ 类构造正确。因此，通过构造，ASR 类总是包含有效的 Fortran 代码，而 LFortran 的其余部分可以依赖它。
Notes:
注意：
Information that is lost when parsing source to AST: whitespace, multiline/single line if statement distinction, case sensitivity of keywords.
将源解析为 AST 时丢失的信息：空格、多行/单行 if 语句区分、关键字的区分大小写。
Information that is lost when going from AST to ASR: detailed syntax how variables were defined and the order of type attributes (whether array dimension is using the `dimension` attribute, or parentheses at the variable; or how many variables there are per declaration line or their order), as ASR only represents the aggregated type information in the symbol table.
从 AST 到 ASR 时丢失的信息：如何定义变量的详细语法以及类型属性的顺序（数组维度是否使用 `dimension` 属性，或变量处的括号；或每个声明行有多少个变量或它们的顺序），因为 ASR 仅表示符号表中的聚合类型信息。

Loading…

User avatar zoziha

Translation added

  1. Fortran programming language
  2. LFortran documentation
  3. Chinese (Simplified)
ASR is still semantically equivalent to the original Fortran code (it did not lose any semantic information). ASR can be converted to AST, and AST to Fortran source code which is functionally equivalent to the original.
ASR 在语义上仍然等同于原始 Fortran 代码（它没有丢失任何语义信息）。 ASR 可以转换为 AST，AST 可以转换为 Fortran 源代码，在功能上与原始代码相同。
a year ago
User avatar None

String updated in the repository

  1. Fortran programming language
  2. LFortran documentation
  3. Chinese (Simplified)
ASR is still semantically equivalent to the original Fortran code (it did not lose any semantic information). ASR can be converted to AST, and AST to Fortran source code which is functionally equivalent to the original.
 
a year ago
Browse all string changes

Things to check

Consecutive duplicated words

Text contains the same word twice in a row: AST

Reset

Glossary

English Chinese (Simplified)
ASR ASR Fortran programming language

‎抽象语义表示‎

Abstract syntax representation
AST AST Fortran programming language

抽象语法树

Abstract syntax tree
Fortran Fortran Fortran programming language

String information

Flags
md-text
Source string location
../../doc/src/design.md:62
String age
a year ago
Last updated
a year ago
Source string age
a year ago
Translation file
doc/locale/zh_CN/LC_MESSAGES/docs.po, string 90