字面量

基本字面量

0, -0, 1, -1, 2, -2, 3, -3, ...

0.00, -0.0, 0.1, 400.104, ...

注意，Ratio类型不同于Float类型，虽然API相同，但计算结果的准确性和效率存在差异。

如果"比率"文字的整数或小数部分为0，则可以省略0

assert 1.0 == 1.
assert 0.5 == .5

注意: 这个函数 assert 用于表明 1.0 和 1. 相等后续文档可能会使用 assert 来表示结果是相等的

可以使用任何 Unicode 可表示的字符串与 Python 不同，引号不能包含在 ' 中。如果要在字符串中使用 "，请使用 \"

"", "a", "abc", "111", "1# 3f2-3*8$", "こんにちは", "السَّلَامُ عَلَيْكُمْ", ...

\{..}允许您在字符串中嵌入表达式。这称为字符串插值如果要输出\{..}本身，请使用\\{..}

assert "1 + 1 is 2" == "\{1} + \{1} is \{1+1}"

文档注释也被视为字符串字面量，因此可以使用字符串插值。它在编译时展开。如果您嵌入的表达式在编译时无法确定，则会收到警告。

PI = 3.14159265358979323
'''
S(r) = 4 × \{PI} × r^2
'''
sphere_surface r = 4 * PI * r ** 2

这是学术计算中常用的表示指数符号的文字。它是"比率"类型的一个实例该符号与 Python 中的符号相同

1e-34, 0.4e-10, 2.455+e5, 245e5, 25E5, ...

assert 1e-10 == 0.0000000001

这些文字中的每一个都有自己的文档分别描述它们，因此请参阅该文档以获取详细信息

[], [1], [1, 2, 3], ["1", "2",], [1, "1", True, [1]], ...

(), (1, 2, 3), (1, "hello", True), ...

{:}, {"one": 1}, {"one": 1, "two": 2}, {"1": 1, "2": 2}, {1: "1", 2: True, "three": [1]}, ...

{=}, {one = 1}, {one = 1; two = 2}, {.name = "John"; .age = 12}, {.name = Str; .age = Nat}, ...

{}, {1}, {1, 2, 3}, {"1", "2", "1"}, {1, "1", True, [1]} ...

与 Array 字面量不同的是，Set 中删除了重复元素

assert {1, 2, 1} == {1, 2}

True, False

None

assert 0..5 == {1, 2, 3, 4, 5}
assert 0..10 in 5
assert 0..<10 notin 10
assert 0..9 == 0..<10

assert 0.0f64 == 0
assert 0.0f32 == 0.0f64

浮点对象是通过将 Ratio 对象乘以 f64 构造的，后者是 Float 64 单位对象

1+2Im, 0.4-1.2Im, 0Im, Im

一个"复杂"对象只是一个虚数单位对象Im的算术组合

在 Erg 中，您可以省略 * 来表示乘法，只要解释上没有混淆即可。但是，运算符的组合强度设置为强于 *

# same as `assert (1*m) / (1*s) == 1*(m/s)`
assert 1m / 1s == 1 (m/s)