字面量
基本字面量
整數字面量
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]}, ...
Record 字面量
{=}, {one = 1}, {one = 1; two = 2}, {.name = "John"; .age = 12}, {.name = Str; .age = Nat}, ...
Set 字面量
{}, {1}, {1, 2, 3}, {"1", "2", "1"}, {1, "1", True, [1]} ...
與 Array
字面量不同的是,Set
中刪除了重復元素
assert {1, 2, 1} == {1, 2}
看起來像文字但不是
布爾對象
True, False
None 對象
None
Range 對象
assert 0..5 == {1, 2, 3, 4, 5}
assert 0..10 in 5
assert 0..<10 notin 10
assert 0..9 == 0..<10
Float 對象
assert 0.0f64 == 0
assert 0.0f32 == 0.0f64
浮點對象是通過將 Ratio
對象乘以 f64
構造的,后者是 Float 64
單位對象
Complex 對象
1+2Im, 0.4-1.2Im, 0Im, Im
一個"復雜"對象只是一個虛數單位對象Im
的算術組合
*-less 乘法
在 Erg 中,您可以省略 *
來表示乘法,只要解釋上沒有混淆即可。但是,運算符的組合強度設置為強于 *
# same as `assert (1*m) / (1*s) == 1*(m/s)`
assert 1m / 1s == 1 (m/s)