欢迎吐槽
一、 字面量
1. 数字字面量
0, 0xff, 0b10_01, .1
2. 字符串字面量
'x', "x\n\uffff\Uffffffff", `x{1}y`
3. 布尔和空字面量
true, false, null
4. 数组和对象字面量
[0, 1..8, 2...3, 3..-=1..1]
{x: 0, ...obj}
5. 函数字面量
x => x + 1
<T> (x: T, y) => { }
6. 类型字面量
<Float>0, <RegExp>'\ｗ+', <X>[1, 2]
7. 标识符
x, \x, \0, _
二、 表达式
8. 算数运算表达式
+, -, *, /, mod, ^
9. 比较运算表达式
==, !=, <, >, <=, >=
10. 逻辑运算表达式
&, |, !
11. 空值运算表达式
??, !
12. 赋值运算表达式
=, +=, -=, *=, /=, &=, |=, ??=, ->
13. 更新表达式
++, --
14. 类型操作表达式
as, is, X<Y>
15. this 表达式和 super 表达式
this, super
16. 访问表达式
x.y, x?.y, x[y], x[^1, ^0]
17. 函数和构造函数调用表达式
fn(p: x, y)
new X()
18. 分支表达式
x ? y : z
x match {0 => 1, 1 => 0}
19. 遍历表达式
arr ~ sum
20. 括号表达式
(x)
三、 类型
21. 特殊类型
any, void
22. 数字字面量类型
0, 0xff, 0b10_01, .1
23. 字符串字面量类型
'x', "x\n\uffff\Uffffffff", `x{1}y`
24. 布尔和空字面量类型
true, false, null
25. 数组和对象字面量类型
[X, Y]
{x: X, y: Y}
26. 函数和构造函数字面量类型
(x: X) => Y
new() => X
27. 区间类型
1..10, 2...10
28. 标识符和成员访问类型
X, \X, X.Y, $import("path").X
29. 泛型和数组类型
X<Y>
X[]
30. 双目运算和单目运算类型
&, |, -
31. this 类型
this
32. 条件类型
X is infer T ? T : Y
33. 括号类型
(X)
四、 声明
34. 变量声明
x := 0;
x: number = 0;
35. 访问器声明
get accessor { return 0 }
set accessor { print(value) }
36. 函数声明
function fn<T>(x, y: T, z = 1, ...rest) => 0;
37. 类声明
class X: Y {
field = 0;
get accessor => 0
set accessor { field = value; }
new() { }
method<T>(p: T) { }
plus(p) { }
explicit as Z() { }
}
38. 接口声明
interface X { }
39. 枚举声明
enum X { x, y = 1 }
40. 类型别名声明
type X = Y;
41. 扩展声明
extension X { }
42. 模块声明
module X { }
module "name" {}
五、 语句
43. 判断语句
if (x) { }
if (x) { } else { }
44. 循环语句
while (x) { }
45. 跳转语句
break;
continue;
return x;
yield x;
46. 异常语句
try { } catch { } finally { }
throw "Error";
47. 确认语句
assert true;
48. 表达式和空语句
fn();
;
