Finished definitions

Signed-off-by: anqurvanillapy <[email protected]>

docs/03-definitions.md

@@ -1,6 +1,37 @@
 # 定义
 
-类似 JavaScript，一个 RowScript 程序的顶部包含任意数量的定义（definitions）。
+类似 JavaScript，一个 RowScript 程序的顶部（top level）包含任意数量的定义（definitions）。
+
+## 常量定义
+
+常量可使用 `const` 关键词来定义：
+
+```ts
+const a = 42;
+```
+
+也可以不使用任何名字绑定任意的表达式，如：
+
+```ts
+42;
+```
+
+这长得像是 JavaScript 中一般的语句（statement），但是实际上它只是以下结构的语法糖：
+
+```ts
+const _ = 42;
+```
+
+注意，在程序的顶部是不允许使用 `let` 定义的，也就是说，全局可变的定义是不支持的：
+
+```ts
+let a = 42; // ❌ invalid
+
+// 可将可变状态封装在一个全局对象中。
+const states = { // ✅ okay
+    a: 42
+};
+```
 
 ## 函数定义
 
@@ -52,3 +83,60 @@ function id<T>(x: T): T {
     x
 }
 ```
+
+另见泛型相关的高级用法（TODO）。
+
+## 类型别名
+
+类型别名（type alias）用于创建某个类型的“别名”，和 TypeScript 相似。
+
+```ts
+type ID = number;
+
+type Person<T> = {
+    id: ID,
+    data: T
+};
+```
+
+注意类型别名会让报错信息变得复杂，因为类型别名会在报错展示中 **默认展开定义**。并且别名类型可能会因为原始类型过度的能力而失去抽象的正确性，举个例子，对于
+`ID` 类型来说以下功能应该是没有任何意义的，但是因为 `number` 的能力而导致了抽象的错误。
+
+```ts
+type ID = number;
+
+const a: ID = 114;
+const b: ID = 514;
+const c = a + b; // ID 的相加并无实际意义
+```
+
+## 外部声明
+
+JS 的全局环境往往是复杂多变的，在 `globalThis` 或 `window` 中往往可能有一些普遍可用的函数定义（例如 jQuery 的
+`$`）。我们可以使用外部声明（postulate）来定义已经存在的外部结构。通常这又叫做 FFI（foreign function interface）。
+
+### 外部函数
+
+外部函数（function postulate）用于定义外部已经存在的函数：
+
+```ts
+function foo();
+```
+
+虽然语法和 TypeScript 类似，但用户并不需要额外的 `.d.ts` 文件，也不需要 `declare` 关键字。
+
+### 外部类型
+
+外部类型（type postulate）用于定义外部已经存在的类型：
+
+```ts
+type Foo;
+```
+
+## 类定义
+
+见 TODO。
+
+## 接口定义
+
+见 TODO。